axióm sjednocení

axióm sjednocení, axióm teorie množin umožňující ze dvou libovolných množin vytvořit třetí množinu (sjednocení obou původních) obsahující všechny prvky, patřící alespoň do jedné z nich. Axióm sjednocení je formulován i obecněji pro soustavu množin.