scheme :: MEMBERED:sch 4
WMSeparation{ P1[ object ] } :
ex X being rational-membered set st
for w being Rational holds
( w in X iff P1[w] )