対称的関係 :xRy→yRx 反対称的関係:xRy→¬(yRx) 非対称的関係:上のどちらでもない。
反射的関係 :xRx 反反射的関係:¬(xRx) 非反射的関係:上のどちらでもない。
推移的関係 :(xRy)∧(yRz)→xRz 反推移的関係:(xRy)∧(yRz)→¬(xRz) 非推移的関係:上のどちらでもない。
例