scheme :: WELLSET1:sch 1
RSeparation{ F1() -> set , P1[ Relation] } :
ex B being set st
for R being Relation holds
( R in B iff ( R in F1() & P1[R] ) )