More robust definition for ⟦⊆-ø⟧