重合性质，上述情形所得之部分结论可延伸至更一般的设定上。
重合结构.重合结构 包含一个其元素被称为「点」的集合 P、一个其元素被称为「线」的不相交集合 L，以及两个集合间的「重合关系」 I，即 P × L 的子集（其元素被称为「标记」）。若 (A, l) 是一个标记，则称 A 重合于 l 或 l 重合于 A（此一关系具对称性），且写作　A I l。直上，一个点与一条线在此一关系内，若且唯若该点位于该线上。给定一个点 B 与一条线 m，使其不组成一个标记，亦该点不位于该线上，则 (B