A is a proper subset of B​