英和和英

出典:『Wikipedia』 (2009/09/14 04:23 UTC 版)

英語による解説

引用

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 [1] (viz., mappings that preserve the so-called minimal Radon partitions).