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.
Depends if they are all doing so in the same room (or area if outdoors) at the same time. That's missing from the quick overview summary that the image presents.