Sea "Z" una subvariedad compleja de "X" de dimensión "k", y sea "i" : "Z" → "X" la función de inclusión.