Copa cuadrada

⊔ suele indicar una unión disjunta, una forma de reunir conjuntos sin perder la etiqueta de cada conjunto de origen. Si un valor aparece en ambos lados, sus dos versiones etiquetadas pueden permanecer. En teoría de categorías, esta construcción es un coproducto.

Símbolo de texto

Qué significa ⊔

Indica una unión que mantiene separados los componentes.

En la notación sqcup, A ⊔ B conserva una etiqueta que indica si cada elemento procedía de A o de B. Si un mismo valor aparece en ambos conjuntos, puede aparecer dos veces, una con cada etiqueta. En teoría de categorías, la unión disjunta de conjuntos se llama coproducto.

¿Cuál es la historia de la notación de copa cuadrada?

La fecha documentada de 1888 corresponde a los signos ordinarios de copa y cap.

El matemático Peano usó para la unión y para la intersección en 1888. Esa fecha documenta la notación ordinaria de copa y cap; no fecha ⊔.

El operador de copa cuadrada se usa en teoría de conjuntos, topología, álgebra y teoría de categorías cuando importa conservar la identidad de cada componente.

Notación matemática formal, especialmente cuando una construcción debe conservar de qué conjunto procede cada elemento.

Usa para la unión ordinaria; ⊔ indica una unión disjunta o una construcción que conserva las etiquetas de origen.