Qué significa ⦇
Es la imagen del conjunto S mediante la relación R.
Una relación es un conjunto de vínculos entre unos valores y otros. S contiene los valores de partida; R⦇S⦈ reúne todos aquellos a los que llevan esos vínculos. Por ejemplo, si R relaciona personas con libros que han tomado prestados y S es un grupo de personas, el resultado es el conjunto de libros que cualquiera de ellas ha tomado prestados. Cada libro aparece una sola vez, aunque varias personas lo hayan tomado prestado.
Los dos corchetes encierran S, mientras que R se escribe delante. El corchete inicial no representa por sí solo el resultado: lo hace la expresión completa. Esta notación aparece en especificaciones formales, es decir, descripciones matemáticas de lo que debe hacer un programa u otro sistema.
Notación matemática especializada para especificaciones Z e imágenes de relaciones.
Se cierra con ⦈, no con un paréntesis ordinario.
Forma parte de las colecciones
Caracteres relacionados
1
Conviene saber
- Z surgió del trabajo de Jean-Raymond Abrial a finales de los años setenta. Se desarrolló en Oxford, se utilizó en la industria durante los ochenta y pasó a enseñarse dentro de los métodos formales.
Más símbolos similares
9
Cómo escribir o encontrar ⦇
- Búscalo como
- corchete de imagen relacional · corchete izquierdo de imagen · notación Z · limg · R⦇S⦈
- Se puede usar en
- Cualquier campo de texto · su forma depende de la fuente
Códigos y codificaciónPuntos de código: 1
Un símbolo visible puede contener varios puntos de código. JS .length cuenta unidades UTF-16; UTF-8 cuenta bytes.