Example -- IntSet \not<= FatSet
  • FatSet -- insert, select, size
  • IntSet -- insert, delete, select, size
slide: History properties -- example