Podsvaz
Z Wikipedie, otevřené encyklopedie
(A,∧,∨) je podsvaz svazu (B,∧,∨), pokud A⊆B a pro každé a,b∈A platí a∧b, a∨b∈A.
Věta: Podsvaz je svaz.
viz svaz
(A,∧,∨) je podsvaz svazu (B,∧,∨), pokud A⊆B a pro každé a,b∈A platí a∧b, a∨b∈A.
Věta: Podsvaz je svaz.
viz svaz