for L being LATTICE holds IntRel L is approximating