https://123dok.org/document/y8grw322-dbg-set-operators-dbg-operatorsset-operators-language-basics.html