scheme :: SCHEME1:sch 2
ExRealSeq2{ F1( set ) -> Element of REAL , F2( set ) -> Element of REAL } :
ex s being Real_Sequence st
for n being Element of NAT holds
( s . (2 * n) = F1(n) & s . ((2 * n) + 1) = F2(n) )