Strukturą algebraiczną określoną na zbiorze A nazywamy zespół ( A ; F 1 , … , F m ; g 1 , … , g n ; h 1 , … , h m ) {\displaystyle (A;F_{1},\dots ,F_{m};g_{1},\dots ,g_{n};h_{1},\dots ,h_{m})} , gdzie F 1 , … , F m {\displaystyle F_{1},\dots ,F_{m}} są zbiorami, g 1 , … , g n {\displaystyle g_{1},\dots ,g_{n}} są działaniami wewnętrznymi w zbiorze A oraz h 1 , … , h m {\displaystyle h_{1},\dots ,h_{m}} są takimi działaniami zewnętrznymi w A, że h i : F i × A → A {\displaystyle h_{i}:F_{i}\times A\to A} dla każdego i ∈ { 1 , … , m } {\displaystyle i\in \{1,\dots ,m\}} .