Definition:Group Type

Definition
An equivalence class under group isomorphism is a (group) type.