https://9dok.net/document/yevkxnp1-let-union-ek-equipped-topology-defined-means-sequence.html