"xSz"。转换 "ў" = ¬(y\¬I) 接着建立 "R" 的逆反 "R" 为构成自所有有序对 ("y","x") 使得 ("x","y") ∈ "R"。3. 这个例子的重要推广是幂集 2，这里的 "E" ⊆ "X" 是在集合 "X" 上任何等价关系。这是个推广因为 "X" 自身是等价关系，也就是由所有有序对构成的完全关系。而 2 在 "E" ≠ "X" 的时候，不是 formula_1 的子代数(因为在这种情况下，它不包含关系 "X"，顶元素 1 是 "E" 而不是 "X")，它仍可作为使用相同