عبارت \( A \subseteq A \cup B \) درست است.
توضیح:
تبادل دو مجموعه عبارت است از مجموعهای که شامل تمام اعضای دو مجموعه است. یعنی هر عضو از \( A \) لزوماً در \( A \cup B \) نیز وجود دارد. بنابراین \( A \) زیر مجموعهای از \( A \cup B \) است.
این یک اصل بنیادین در نظریه مجموعهها است.
