No sé si es la sección correcta para preguntar, pero quería hacer algunas preguntas sobre los símbolos matemáticos que a menudo encuentro en libros de automatización. Uno de estos es el siguiente: $$\not\ge$$ Este símbolo significa no mayor o igual, ¿pero qué sentido tiene? ¿Por qué usar esto en lugar de menos "<"?
En cambio, este otro símbolo creo que no conozco el significado exacto, así que te pido confirmación: $$\gneq$$ ¿Significa mayor que y al menos uno igual? ¿Significa que si básicamente comparo dos vectores, el primero debe tener elementos mayores que el segundo y debe contener al menos uno igual?
6 votos
En algunos contextos, no necesariamente se te permite comparar cualquier par de elementos. Usando $\supseteq$, la contención de un conjunto, en lugar de $\geq$, es un poco más claro que $\not\supseteq$ no es lo mismo que $\subset$.
1 votos
Para ampliar el comentario de @Arthur, la relación binaria en un conjunto $X$ a la que se refieren $\leq$ y $\geq$ se llama generalmente un orden. El orden usual en los números reales es un ejemplo de un orden total, que viene con el axioma $x \leq y$ o $y \leq x$ para todo $x, y \in X. Pero algunos órdenes no vienen con este axioma de totalidad, como los órdenes parciales, en los cuales dos elementos pueden no ser comparables en absoluto, entonces $x \not\le y$ no implicaría $x>y: es.wikipedia.org/wiki/Conjunto_parcialmente_ordenado#Definición_formal