Cardinality: 濃度 Image: 像 Domain: 始域 Codomain: 終域 Identity function: 恒等写像 Functional composition: 写像の合成 Functional inverse: (多分)逆写像