当量类

equivalence class