"Lines are parallel if they do not intersect" is stated in the form of definition or postulate?