scheme :: CIRCCMB3:sch 6
1AryDef{ F₁() -> non empty set , F₂( object ) -> Element of F₁() } :

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