Jabarkan Domain Scott adalah semikekisi-pertemuan. dari Semikekisi

Keanggotaan dalam himpunan L dapat diambil sebagai model semikekisi dengan himpunan dasar L, karena semikekisi menggunakan esensi dari ekstensionalitas himpunan. Misalkan a ∧ b menunjukkan a ∈ L & b ∈ L. Dua himpunan berbeda dalam satu atau kedua: