>>881
ペアノじゃね?

>>882
直積と包含関係の定義はどうなってる?