https://123dok.net/document/qvl90ogr-on-associative-idempotent-symmetric-and-nondecreasing-operations.html