La relación de contención en la jerarquía no determinista de clases acotadas por espacio puede ser trasladada con una función de espacio: