Assertion: complement | /r/CapableOf | generalize both the direct product
Facets:
Source sentences:
text: Complements generalize both the direct product (where the subgroups H and K are normal in G), and the semidirect product (where one of H or K is normal in G).