Let be a matrix over . We say that is partition regular over , if whenever is finitely coloured, there is always a monochromatic with .