数学百科
包含映射
2023-05-11
即“嵌入映射”.