scheme :: GFACIRC1:sch 1
1AryBooleEx{ F1( set ) -> Element of BOOLEAN } :
ex f being Function of (1 -tuples_on BOOLEAN),BOOLEAN st
for x being Element of BOOLEAN holds f . <*x*> = F1(x)