generated at
濃度
集合の要素数のこと
集合Xの濃度を\# Xと表記したりする