真部分集合記号 | 数学のたな