scheme :: FRAENKEL:sch 21
FraenkelFin{ F1() -> set , F2() -> set , F3( object ) -> object } :
{ F3(w) where w is Element of F1() : w in F2() } is finite
provided
A1: F2() is finite