File:MathFoundations152 Fun with lists, ordered sets, multisets and sets I