theorem Th2: :: ORDINAL4:2

for fi, psi being Ordinal-Sequence holds rng (fi ^ psi) c= (rng fi) \/ (rng psi)