En er en mengde der det er definert en eller flere binære operasjoner. Strukturen blir bestemt av de valgte aksiomene. Operasjonene kan være definert med egenskapene assosiativitet, kommutativitet og distributivitet. Strukturene er som regel utstyrt med ett eller flere identitetselement.