Consideremos el siguiente problema bastante general: Dados dos conjuntos M y M', un subconjunto propio D de M y una funcion f: D → M' que satisface una propiedad dada (P), ?existe, entonces, una extension f: M → M' de f que satisface (P)?