With help of sci.math crowd it was demonstrated an example that there exist a (finite) poset, which is separable (in the sense defined in this book), but $latex \star x \subseteq \star y$ does not imply $latex x \sqsubseteq y$ (where $latex…

read moreThe following are suggestions how to replace math books with hyperlinked modules, in general, and particularly suggestions how to support it in a future version of TeXmacs software. TeXmacs is an advanced math writing software, and the easiest way to implement my…

read moreIntuitively (not in the sense of comparing cardinalities, but in some other sense), the set of natural numbers is less than the set of whole numbers, which is less than the set of rational numbers, which is less than the set of…

read more