scheme :: CARD_4:sch 2
FraenCoun2{ F₁( object , object ) -> set , P₁[ set , set ] } :

{ F₁(n1,n2) where n1, n2 is Nat : P₁[n1,n2] } is countable