数学上指一对一的一种对应。在^*集合论(set theory)中指两组成员的一种属性，一组中的任何一个成员能同另一组中的一个成员配对，反之亦然。在^*拓扑学(topology)中，两个空间中的一个能不撕破、不粘连地变形成另一个，这两个空间就是同胚的。例如，球体的表面和立方体的表面就是同胚的。