"Equivalence class"@en .