セックスは「性」という意味だからセックス＝{男，女}．
群をなすと仮定すればそれは２次の巡回群．

男を単位元とすれば，

男・男＝男，
男・女＝女，
女・男＝女，
女・女＝男．

女を単位元とすれば，

女・女＝女，
女・男＝男，
男・女＝男，
男・男＝女．



このどちらかに当てはまるように演算・を定義する必要がある．