Περιέχει βασικές γνώσεις (ορισμούς και θεωρήματα) συνόλων, συναρτήσεων και διμελών σχέσεων, που είναι απαραίτητες για κάθε μαθηματική θεωρία και τη βασική θεωρία των ακέραιων αριθμών. Περιλαμβάνει τη θεωρία των εσωτερικών πράξεων επί ενός συνόλου και τη θεωρία των αλγεβρικών δομών που είναι το αντικείμενο μελέτης της νεώτερης άλγεβρας. Παρουσιάζεται επίσης αναλυτικά η Θεωρία Ομάδων, που είναι η βάση για τη μελέτη συνθετότερων αλγεβρικών δομών.