Complete induction may proceed by checking each member or by dividing the whole class into exhaustive kinds.
Enumerating members: A building has exactly six known doors, all checked and found closed.
Enumerating kinds: A collection of books has exactly two sections, and every book in both has the same seal.
Both methods depend on excluding any overlooked member or relevant subdivision of the class about which the judgment is made.