The clone relation of a binary relation

Abstract

In a recent paper, De Baets et al. introduced the clone relation of a strict order relation. Two elements of a poset are said to be a pair of clones (or to be clones) if every other element that is greater (resp. smaller) than one of them is also greater (resp. smaller) than the other one. This clone relation played a key role in the characterization of the L-fuzzy tolerance relations and the L-fuzzy equivalence relations that a strict order relation is compatible with. In this paper, we extend the notion of clone relation to any binary relation. Although the definition of such extension is trivial, the corresponding properties significantly differ from those of the clone relation of a strict order relation. We analyse the most important ones among these properties, paying particular attention to a partition of the clone relation in terms of three different types of pairs of clones.