Two planes are considered identical if their point sets are equal and they have the same lines.

P eq Q : Plane, Plane -> BoolElt

True if the planes P and Q are identical, otherwise false.

True if the planes P and Q are not identical, otherwise false.

True if the planes P and Q are isomorphic, otherwise false.

True if P is a subplane of Q, otherwise false.