Închidere (algebră)

În algebra generală , închiderea unei mulțimi în raport cu un anumit set de operații algebrice este cea mai mică extensie posibilă (adică, care nu conține altă extensie similară) a unei mulțimi date în care orice aplicare a acestor operații la elementele unei astfel de extensii nu să nu depășească limitele sale. Extensia minimă va exista întotdeauna ca intersecție a tuturor extensiilor descrise.

În mod formal, să fie un subset al purtătorului unei algebre . Atunci închiderea mulțimii față de semnătură este subalgebra minimă care conține ( ).

Exemple:

O mulțime care coincide cu închiderea sa se numește închisă algebric (în raport cu un set dat de operații).

Exemple:

Vezi și