scheme :: MEMBERED:sch 4
WMSeparation{ P₁[ object ] } :

ex X being rational-membered set st
for w being Rational holds
( w in X iff P₁[w] )