ex A being strict MSAlgebra over F₁() st
( the Sorts of A = the carrier of F₁() --> BOOLEAN & ( for g being set
for p being Element of the carrier of F₁() * st g in the carrier' of F₁() & p = the Arity of F₁() . g holds
the Charact of A . g = F₂(g,p) ) )

A1: for g being set
for p being Element of the carrier of F₁() * st g in the carrier' of F₁() & p = the Arity of F₁() . g holds
F₂(g,p) is Function of ((len p) -tuples_on BOOLEAN),BOOLEAN