Efecto Search
Dada un Efecto Search se da un Causa Search.
Dada un Efecto Search se dan Conjuntos de Causas Search.
Los Elementos-Search son:
- Causa Search
- Efecto Search
De ahí que pueda sostenerse también que pueden darse:
Definición formal de Wikipedia Conjunto preordenado
En matemática, especialmente en teoría del orden, preórdenes son ciertas clases de relación matemática|relaciones binarias que se relacionan con los conjunto parcialmente ordenado|conjuntos parcialmente ordenados. El nombre quasiorden es también una expresión común para preórdenes. Muchas definiciones teóricas para los conjuntos parcialmente ordenados se pueden generalizar a preórdenes, pero el esfuerzo adicional de generalización raramente se necesita. Con todo hay campos de uso, tales como la definición de la convergencia vía red (matemática)|redes en topología, donde los preórdenes no se pueden substituir por conjuntos parcialmente ordenados sin perder propiedades importantes.
Considere algún conjunto P y una relación binaria ≤ en P. Entonces ≤ es un preorden, o un cuasiorden, si es Relación reflexiva|reflexiva y transitividad (matemáticas)|transitiva, es decir, para todo a, b y c en P, tenemos que:
- a ≤ a (reflexividad)
- si a ≤ b y b ≤ c entonces a ≤ c (transitividad)
Un conjunto que se equipa con un preorden se llama un conjunto preordenado. Si un preorden es también antisimétrico, es decir, a ≤ b y b ≤ a implica a = b, entonces es un orden parcial.
Un orden parcial se puede construir con cualquier preorden identificando puntos "iguales". Formalmente, se define una relación de equivalencia ~ sobre X tal que a ~ b si y sólo si a ≤ b y b ≤ a. Ahora el conjunto cociente X/~, es decir el conjunto de todas las clase de equivalencia|clases de equivalencia de ~, pueden ser fácilmente ordenadas definiendo [x] ≤ [y] si y sólo si x ≤ y. Por la construcción de ~ esta definición es independiente de los representantes elegidos y la relación correspondiente está de hecho bien definido|bien definida. Se verifica fácilmente que esto da un conjunto parcialmente ordenado.
Esquema de temas relacionados
|