https://123dok.net/document/zwv8ve7l-atoms-and-partial-orders-of-infinite-languages.html