scheme :: SEQFUNC:sch 1
ExFuncSeq{ F₁() -> set , F₂() -> set , F₃( object ) -> PartFunc of F₁(),F₂() } :

ex G being Functional_Sequence of F₁(),F₂() st
for n being Nat holds G . n = F₃(n)