GRADED INCLUSION AND POINT-FREE GEOMETRY