辑和对应的代数簇的重要特征性质。例如，对合性否定从Heyting代数中特征化出了布尔代数。相应的，经典布尔逻辑可印发自直觉逻辑加上双重否定律。
对合的总数.在有 "n" = 0, 1, 2, … 个元素的集合上对合的数目给出自递推关系:这个序列的前几项是 1, 1, 2, 4, 10, 26, 76, 232 。