この場合逆は恒等写像(y˘=y)となり、剰余y\xとy/xは共に含意y→xとなる(つまり￢y∨x)。
这种复合的解释唯一的确定逆反为恒等(ў=y)，而剩余y\x和x/y二者都是蕴涵y→x，也就是¬y∨x。