scheme :: FACIRC_1:sch 1
2AryBooleEx{ F₁( set , set ) -> Element of BOOLEAN } :

ex f being Function of (2 -tuples_on BOOLEAN),BOOLEAN st
for x, y being Element of BOOLEAN holds f . <*x,y*> = F₁(x,y)