因为 x▷y 可以使用复合和逆反而定义为 x·y，对偶的 x◁y 定义为 x·y，在标识(signature)中不必需包括 ▷ 或 ◁，因为它可以简化为 (L, ∧, ∨, ¬, 0, 1, ·, I, )，这是关系代数的更常见的标识。
tɕhqk thɣqr χɣr tɕhqr ʁqr tɕhɣ^r xr ʁɣn ʁɣn qrxʑr ɣn çqɣ^r tɕhqr thɣqr çqr r çɣr çqɣ^r tɕhqr thɣqr tsʑqr ɕqʑk ʁqr (en)sˈɪɡnɪtʃə(cmn) tsʁɣ^k ɕr ɕqr khk ɕʑk χr ʁr tɕhqk thɣqr ʑk χɣr tɕhqr ɬqʑr ʁʑr thɣqr (en)ksˈɛvən(cmn),,, (en)nˈɒt sˈaɪn(cmn), (fi), (fi),, (en)z(cmn), tsʁɣr ʁqr ɣ^ʑk khqr çʑqr ʁr çɣr ɣ^ɣɣ^r ʝʁʑɣ^n ɬqʑr çɣr ɕqʑk ʁqr