Binary operations with unordered sets