scheme :: SRINGS_4:sch 1
FraenkelCountable{ F₁() -> set , F₂() -> set , F₃( object ) -> set } :

{ F₃(w) where w is Element of F₁() : w in F₂() } is countable

provided

A1: F₂() is countable