theorem Th23: :: LATSUBGR:23

for G being Group
for H1, H2 being Subgroup of G
for h1, h2 being Element of (lattice G) st h1 = H1 & h2 = H2 holds
h1 "/\" h2 = H1 /\ H2