نظرية المجموعات
Set theory definition.