In de
abstracte algebra is een
algebraïsche structuur een
verzameling waarop een of meer
bewerkingen gedefinieerd zijn die aan bepaalde wetmatigheden (
axioma's) voldoen. Die bewerkingen kunnen bestaan uit
relaties op de verzameling zelf, maar ook uit relaties tussen de verzameling en een andere verzameling. Als er slechts relaties en geen operaties zijn, spreekt men van een relationele structuur.