What is the quantified definition for proper subset As Brian says: Yes, that works. ${}{}{}{}{}{}{}{}{}{}{}{}{}{}$