scheme :: MEMBERED:sch 1
CMSeparation{ P₁[ object ] } :

ex X being complex-membered set st
for c being Complex holds
( c in X iff P₁[c] )