hyperimaginary An equivalence class of a type-definable set. Noun An equivalence class of a type-definable set. Forms hyperimaginaries