scheme :: ORDINAL2:sch 2
TSLambda{ F₁() -> Ordinal, F₂( Ordinal) -> set } :

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