I learned something new here!
I thought an orgy would imply that for each fucking tuple (h1, h2) € F[H], there exists at least another pair where (hx, h3) € F[H], hx € {h1, h2}, so that there are not two disjoint strict subsets of O.
In textual words: When Tobi and Torben have sex, and Brunhilde and Gudrun have sex, I thought this is not an orgy. There must be a connection between those two pairs. I bet I am having an orgy with a lot of strangers by the definition of this paper.