scheme :: NUMBER15:sch 1
FinitePairs{ F₁() -> Nat, F₂() -> Nat, P₁[ object , object ] } :

{ [m,n] where m, n is Nat : ( m < F₁() & n < F₂() & P₁[m,n] ) } is finite