The equivalence class under homotopy.