scheme :: CARD_3:sch 3
FuncSepOrg{ F₁() -> set , F₂( object ) -> set , P₁[ object , object ] } :

ex f being Function st
( dom f = F₁() & ( for x being set st x in F₁() holds
for y being set holds
( y in f . x iff ( y in F₂(x) & P₁[x,y] ) ) ) )