Separoid

Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. In mathematics, a separoid is a binary relation between disjoint sets which is stable as an ideal in the canonical order induced by inclusion. Many mathematical objects which appear to be quite different, find a common generalisation in the framework of separoids; e.g., graphs, configurations of convex sets, oriented matroids, and polytopes. Any countable category is an induced subcategory of separoids when they are endowed with homomorphisms (viz., mappings that preserve the so-called minimal Radon partitions).