Hi Folks,

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.

Thanks.

P.