scheme :: MEMBERED:sch 3
RMSeparation{ P1[ object ] } :
ex X being real-membered set st
for r being Real holds
( r in X iff P1[r] )