שאלה לגבי מדעי המחשב לבגרות מחר

בבית הספר שלי בחרו בנושא מודלים חישוביים. אם נגיד יש שפה L1={a b} אז חיתוך של השפה עם המשלים שלה יוצר שפה ריקה ואיחוד שלה עם המשלים יצור את השפה של כל המילים מעל {a,b} נכון?