' Lines are parallel if they do not intersect' is stated in the form of:

a) an axiom b) a definition

c) a postulate d) a proof