I have came across a need and I am not aware if there is such a thing in set theory and if so what is it called.
Mainly I have several sets that I am interested in their cartesian product. But this cartesian product should not be a set of ordered pairs but a set of sets. Basically unordered pairs.
I wonder if this concept is well defined and what is it called.