group homomorphisms
subgroup defined by a property