scheme :: ORDINAL2:sch 3
OSLambda{ F₁() -> Ordinal, F₂( Ordinal) -> Ordinal } :

ex fi being Ordinal-Sequence st
( dom fi = F₁() & ( for A being Ordinal st A in F₁() holds
fi . A = F₂(A) ) )