Efecto Search

De Searchology
Saltar a: navegación, buscar

Habiendo Link y Clic, y dada una Causa Search, suponemos que se da un Efecto Search.

Dado un Efecto Search se da igualmente una Causa Search.

Dada un Efecto Search se dan Conjuntos de Causas Search.

Los Elementos-Search son:

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:

aa (reflexividad)
si ab y bc entonces ac (transitividad)

Un conjunto que se equipa con un preorden se llama un conjunto preordenado. Si un preorden es también antisimétrico, es decir, ab y ba 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 ab y ba. 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 xy. 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

Teoría del orden
Bien ordenado
Orden total
Parcialmente ordenado
Preordenado
Relación reflexiva
Relación transitiva
Relación antisimétrica
Relación total
Orden bien fundamentado
Herramientas personales
Espacios de nombres

Variantes
Acciones
Navegación
Herramientas