La primera condición refleja la idea intuitiva de que la sub-red se "vaya a infinito" junto con la red, mientras que la segunda es simplemente pedir que los puntos que tome sean efectivamente puntos de la red.