scheme :: LMOD_7:sch 2
UnOpEq{ F₁() -> non empty set , F₂( Element of F₁()) -> object } :

for f1, f2 being UnOp of F₁() st ( for a being Element of F₁() holds f1 . a = F₂(a) ) & ( for a being Element of F₁() holds f2 . a = F₂(a) ) holds
f1 = f2