@Rasoli به نظرتان جملهای که پیشتر برای عنوان نوشتهبودید، یعنی «تعداد از مجموعه ها میدان باشد چگونه میتوان گفت اجتماع شان میدان است» اصلا معنا دارد یا از نظر دستور زبانی درست است؟ به ویرایشی که برایتان انجام دادم نگاه کنید. بعلاوه گزارهای که شما در تمرین یا کتاب دارید که به دنبال اثباتش هستید از «زیرمجموعه» بودن خالی استفاده نمیکند بلکه زنجیر مورد نظر را با رابطهٔ «زیرمیدان» بودن در نظر دارد. لذا شما از ابتدای کار در حال جا انداختن قسمتی از فرض پرسش هستید. دو میدان که عملهای متفاوتی دارند را وقتی اجتماع میگیرید، عملهای روی مجموعهٔ جدید را چگونه با عملهای متفاوت دو مجموعهٔ قبلی تعریف میکنید؟ پس باید عملها یکسان باشند و صرفا زیرمجموعه بودن خالی در سوال اصلی نیست.
