תבנית:תורת הקבוצות/מצב