Une remarque sur l'algorithme de Ducamp pour la recherche de tous les ordres totaux contenant un ordre partiel
A separoid is a symmetric relation defined on disjoint pairs of subsets of a given set such that it is closed as a filter in the canonical partial order induced by the inclusion (i.e., and ). We introduce the notion of homomorphism as a map which preserve the so-called “minimal Radon partitions” and show that separoids, endowed with these maps, admits an embedding from the category of all finite graphs. This proves that separoids constitute a countable universal partial order. Furthermore,...
2000 Mathematics Subject Classification: 06A06, 54E15An ordered pair X(R) = ( X, R ) consisting of a nonvoid set X and a nonvoid family R of binary relations on X is called a relator space. Relator spaces are straightforward generalizations not only of uniform spaces, but also of ordered sets. Therefore, in a relator space we can naturally define not only some topological notions, but also some order theoretic ones. It turns out that these two, apparently quite different, types of notions are closely...
We give an equational description of all idempotent groupoids with at most three essentially n-ary term operations.
In this paper the notion of weak chain-completeness is introduced for pseudo-ordered sets as an extension of the notion of chain-completeness of posets (see [3]) and it is shown that every isotone map of a weakly chain-complete pseudo-ordered set into itself has a least fixed point.
Let be a unital -ring. For any we define the weighted -core inverse and the weighted dual -core inverse, extending the -core inverse and the dual -core inverse, respectively. An element has a weighted -core inverse with the weight if there exists some such that , and . Dually, an element has a weighted dual -core inverse with the weight if there exists some such that , and . Several characterizations of weighted -core invertible and weighted dual -core invertible...