theorem Th41: :: WAYBEL_4:41

for L being LATTICE holds IntRel L is approximating