theorem Th40: :: YELLOW_2:40

for L being with_infima Poset
for I, J being Ideal of L holds I /\ J is Ideal of L