Horní množina a dolní množina jsou matematické pojmy z oboru teorie množin, konkrétněji z teorie uspořádání, které formalizují představu množiny, která obsahuje „s každým svým prvkem i všechny menší“ (dolní množina), resp. „s každým svým prvkem i všechny větší“ (horní množina).
