O documento descreve três grandes categorias de estruturas matemáticas usadas para modelar fenômenos da natureza: estruturas de ordem, estruturas algébricas e estruturas topológicas. As estruturas algébricas são definidas como conjuntos abstratos de objetos com operações e relações entre esses objetos que obedecem certas regras. Álgebras são estruturas algébricas com um conjunto de operações definidas sobre um conjunto. A álgebra de Boole é um exemplo importante de estrutura algébrica usada