Deakstadieđáhus: Basic set theory