File:MathFoundations153 Fun with lists, ordered sets, multisets and sets II