For instance, 〚x:nat,y:nat〛= ℕ⊥×ℕ⊥.
Για παράδειγμα,〚x:nat,y:nat〛= ℕ⊥×ℕ⊥.