添え字集合の濃度について定義のステイトメントが何も
触れていないのに、濃度を限らなきゃならんと思うその
発想がどこから現れるのかさっぱりわからん。