Derefter anfördes en mängdexempel