If A is a proper subset of B then we write | ClassNotes