Descripción
Comprueba si una correspondencia/relación está contenida en otra (con mismo dominio/codominio)
Cadena de entrada
correl_contenida
Cadena de salida
CORREL.contenida
Uso
correl_contenida(<correspondencia_relacion1>,<correspondencia_relacion2>)
Valor devuelto
Booleano: verdadero si la primera correspondencia/relación está contenida en la segunda
Ejemplos
correl_contenida(correl_desde_exp(rango(1,9),x<y,[x,y]),correl_desde_exp(rango(1,9),x<=y,[x,y]))
Booleano: verdadero
correl_contenida(correl_desde_exp(rango(1,9),x<=y,[x,y]),correl_desde_exp(rango(1,9),x<y,[x,y]))
Booleano: falso
Desde / Última modificación
v0.6.2.4