Podsvaz

Z Wikipedie, otevřené encyklopedie

(A,∧,∨) je podsvaz svazu (B,∧,∨), pokud A⊆B a pro každé a,b∈A platí ab, ab∈A.

Věta: Podsvaz je svaz.

viz svaz