شرایط سیگال و دسته‌های مجازی دوتایی