• V ≈ Int ∪…∪V ×V ∪V → V

  
  • subtypes - ordered by set inclusion

  • lattice - Top = V, Bottom = ∅
  
  • a collection of ideals of V

slide: The interpretation of types as sets