https://123dok.net/document/z1d40jep-mathjax-formula-omega-coincide-mathjax-formula-omega-posets.html