Lines are parallel if they do not intersect’ is stated in the form of a definition.

Definition is a formal statement of the meaning of a word or a set of words.