ความสัมพันธ์พีชคณิตเหนือพีชคณิต ▁M เป็นพีชคณิตย่อยของ ▁M^n สำหรับบางจำนวนนับ n สำหรับแต่ละรีเซต M การลงสีบน M คือคู่ของรีเซต H ซึ่งมีแบบเดียวกันกับ M และฟังก์ชันบางส่วน h จาก H ไป M ในวิทยานิพนธ์นี้เราสร้างการเชื่อมโย ...