משפט 1: למרות שאפשר להשתמש באופרטורים בינאריים כולל אך לא מוגבל לאחדות בלעדית או ומערך. משפט 2: עם זאת, ניתן להשתמש באופרטורים בלעדיים, כולל, אך לא מוגבל, בינארי או איחוד קבוצה. שאלה: האם משפט 1 ומשפט 2 מבטאים את אותה המשמעות? כן או לא?
לא, לא.