scheme :: MODELC_1:sch 4
UnOpEX{ F₁() -> non empty set , F₂( object ) -> Element of F₁() } :

ex o being UnOp of F₁() st
for f being object st f in F₁() holds
o . f = F₂(f)