Nuestro funtor "F" tiene una propiedad especial: si se tiene un cubrimiento abierto ("V") del conjunto "U", y se dan elementos mutuamente compatibles de "F" ("V"), entonces existe exactamente un elemento "F"("U") que se restrinje a todos los dados.