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

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