De hecho, cada haz de conjuntos sobre "X" es esencialmente de este tipo, para aplicaciones muy especiales π; ver abajo.