Setoid vs Poset - What's the difference?
setoid | poset |
(set theory) A partially ordered set.
* 1973, Barbara L. Osofsky, Homological Dimensions of Modules , American Mathematical Society, ISBN 0821816624, page 76,
visit
In set theory|lang=en terms the difference between setoid and poset
is that setoid is (set theory) a set together with an equivalence relation while poset is (set theory) a partially ordered set.As nouns the difference between setoid and poset
is that setoid is (set theory) a set together with an equivalence relation while poset is (set theory) a partially ordered set.setoid
English
(wikipedia setoid)poset
English
Noun
(en noun)- 42. Definition.'' A poset (partially ordered set) (''X'', ?) (usually written just ''X'') is a set ''X'' together with a transitive, antisymmetric relation ? on ''X .
- 43. Definition.'' A linearly ordered set or chain is a poset (''X'', ?), such that ?''a'', ''b'' ? ''X'', either ''a'' ? ''b'' or ''b'' ? ''a'' or ''a'' = ''b .