Systém množin na dané množině je v teorii množin libovolná množina jejích podmnožin [1].
Je-li množina, pak systém množin na je libovolná množina podmnožin množiny . Množina všech podmnožin množiny je její potenční množina .
Systém množin se nazývá systém po dvou disjunktních množin, jestliže pro každé dva jeho prvky platí .
Systém množin se nazývá σ-systém (sigma-systém), právě když pro každý neprázdný spočetný podsystém platí, že jeho sjednocení je prvkem .
Systém množin se nazývá δ-systém (delta-systém), právě když pro každý neprázdný spočetný podsystém platí, že jeho průnik je prvkem .
Systém množin se nazývá okruh množin, právě když je neprázdný a pro každé dva jeho prvky platí a zároveň , kde je symetrická diference.
Systém množin se nazývá σ-okruh (sigma-okruh), právě když je okruhem a zároveň je σ-systémem.
Systém množin se nazývá δ-okruh (delta-okruh), právě když je okruhem a zároveň je δ-systémem.
Systém množin se nazývá algebra množin, právě když je okruhem a zároveň existuje taková množina , že pro všechny prvky je .
Systém množin se nazývá σ-algebra množin neboli σ-těleso, právě když je algebrou množin a zároveň je σ-systémem.
Systém množin se nazývá δ-algebra množin neboli δ-těleso, právě když je algebrou množin a zároveň je δ-systémem.