هي دي نقطة البداية في النظرية الرياضيه لشبه المجموعات.