Now, two sets are equal if and only if , i.e. they both contain each other thus A=B. Lastly, A is a proper subset of B if and only if A is contained in B, but A != B. This is denoted in set theory as , and read as A is a proper subset of B. Easy enough, right?