単射 | 写像 | 集合 | 数学