Bijekcije in izomorfizmi, družine množic

Dokažemo, da so bijekcije natanko izomorfizmi, nato obravnavamo družine množic in osnovne operacije na njih.