On the separation of two relations by a biorder or a semiorder
A biorder is a binary relation R whose projections xR are weakly ordered under inclusion. The authors characterize the relation RB, \(SB^ c\) (complement of B) for some biorder B, some variations on this, and study the intersection of all such \((B,B^ c)\). Then they consider concepts of bidimension.
scientific article; zbMATH DE number 3989035
scientific article