Definition compl_eq
Definition.
compl_eq
compl A = {x | ¬x ∈ A}
The
complement
of a class A is the class containing every element that does not appear in A.