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

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