This is a browser-friendly view of the QMath context relation0.qmath\nas can be found in jEditOQMath and QMath distributions among English contexts for Mathematics.
|| Extracted from content-dictionary relation0 || http://www.openmath.org/cd/relation0.html || http://www.openmath.org/cd/relation0.ocd Symbol: antisymmetric APPLICATION "relation0:antisymmetric" Symbol: equivalence APPLICATION "relation0:equivalence" Symbol: irreflexive APPLICATION "relation0:irreflexive" Symbol: order APPLICATION "relation0:order" Symbol: partial_equivalence APPLICATION "relation0:partial_equivalence" Symbol: pre_order APPLICATION "relation0:pre_order" Symbol: reflexive APPLICATION "relation0:reflexive" Symbol: relation APPLICATION "relation0:relation" Symbol: strict_order APPLICATION "relation0:strict_order" Symbol: symmetric APPLICATION "relation0:symmetric" Symbol: transitive APPLICATION "relation0:transitive"