نظریه مجموعه‌ها و توابع در ریاضیات گسسته