Decompositions of commuting relations
Some decompositions of general incidence structures with regard to distinguished components (modular or simple) are considered and several structure theorems for them are deduced.
We present a formal scheme which whenever satisfied by relations of a given relational lattice containing only reflexive and transitive relations ensures distributivity of .
In [7], V. Novak and M. Novotny studied ternary relational structures by means of pairs of binary structures; they obtained the so-called double binary structures. In this paper, the idea is generalized to relational structures of any finite arity.