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