Εντός εξεταστέας ύλης είναι ό,τι είπαμε στο μάθημα.
Εξαιρούνται οι αποδείξεις:
-- Του Θεωρήματος Schröder-Bernstein
-- Του Θεωρήματος Αναδρομής (ορισμός με αναδρομή, μαζί με τις διάφορες παραλλαγές του με παραμέτρους)
-- Του Θεωρήματος για τον χώρο του Hartogs
Οι εκφωνήσεις των πιο πάνω θεωρημάτων είναι φυσικά εντός εξεταστέας ύλης.
Νοείται πώς οι αποδείξεις που δεν έγιναν στο μάθημα ή που δόθηκε μόνο ένα σχέδιό τους (όπως π.χ. το Θεώρημα Συγκρισιμότητας Καλά Διατεταγμένων χώρων) είναι επίσης εκτός εξεταστέας ύλης.
Τέλος διευκρινίζεται ότι στοιχεία των πιο πάνω αποδείξεων που χρησιμοποιούνται σε θέματα που εμπίπτουν στην ύλη, θεωρούνται επίσης εντός εξεταστέας ύλης. Για παράδειγμα στην απόδειξη του Θεωρήματος Schröder-Bernstein χρησιμοποιείται ορισμός με αναδρομή, δηλαδή το Θεώρημα Αναδρομής, του οποίου η εκφώνηση είναι εντός εξεταστέας ύλης.