Deakstadieđáhus: Basic set theory.