Definition:Proper Superset