De Morgan descubrió el álgebra de relaciones en su obra "Syllabus of a Proposed System of Logic" ("Programa de una Propuesta de Sistema Lógico"), publicada en 1860.