合几何内一般，形状即时常会被作为主题与范例。不过，将其中一个学科里的结论转换成另一学科里的用词是可能的，虽然这往往会导致难以操作且令人费解的陈述，不像是该主题原本的一部分。在本条目里，只会选择使用能自然呈现几何语言的范例。其中最令人感兴趣的例子为在欧氏平面上的有限点集合，可由重合结构决定线的数量与类型。因为只考虑重合性质，上述情形所得之部分结论可延伸至更一般的设定上。
重合结构.重合结构 包含一个其元素被称为「点」的集合 P、一个其元素被称为「线」的不相交集合 L，以及两个集合