scheme :: TOPGEN_4:sch 1
FraenCoun11{ P1[ set ] } :
{ {n} where n is Element of RAT : P1[n] } is countable