scheme :: XXREAL_2:sch 1
FinInter{ F₁() -> Integer, F₂() -> Integer, F₃( object ) -> object , P₁[ object ] } :

{ F₃(i) where i is Element of INT : ( F₁() <= i & i <= F₂() & P₁[i] ) } is finite