File:MathFoundations154 Fun with lists, ordered sets, multisets and sets III