If every element of AAA is in BBB, but BBB has more elements, AAA is a:
Proper subset
Universal set
Power set
Disjoint set