数学深度研究-lower separation-1.pdfVIP

“The low separation axioms (T ) and (T )” 0 1 Thursday 20-12-2001 at 14:29:45 (cet) A binary relation on a set is a quasiorder if it is transitive and reflexive. It is called trivial if (∀x, y)(x y), and is defined to be discrete if it agrees with equality; it is said to be a order (sometimes simply called an partial order ) if it is antisymmetric, that is, (∀x, y)