File:MathFoundations161 Fun with lists, ordered sets, multisets and sets IV