Kapittel 9 – Tillukninger og induktivt definerte mengder / To interessante konstruksjoner