You are on page 1of 8

Teora del orden

1
Teora del orden
La teora del orden es una rama de la matemtica que estudia varias clases de relaciones binarias que capturan la
nocin intuitiva del orden matemtico. Este artculo provee una introduccin detallada a este campo e incluye
algunas de las definiciones ms bsicas. Para una rpida bsqueda de un trmino orden terico, hay tambin un
glosario de teora del orden. Una lista de asuntos sobre orden recoge los artculos que existen en relacin a esta teora
del orden.
Trasfondo y motivacin
El orden aparece por todas partes - por lo menos, si se trata de matemtica y reas relacionadas tales como la
informtica. El primer orden que uno tpicamente encuentra en la educacin matemtica de la escuela primaria es el
orden de los nmeros naturales. Este concepto intuitivo es fcilmente extendido a otros conjuntos de nmeros, tal
como los enteros y reales. De hecho la idea de ser mayor o menor que otro nmero es una de las intuiciones bsicas
de los sistemas de numeracin en general (que uno generalmente se interesa tambin en la diferencia real de dos
nmeros, que no viene dada por el orden). Otro ejemplo popular de un orden es el orden lexicogrfico de las palabras
en un diccionario.
Los tipos antedichos de orden tienen una propiedad especial: cada elemento se puede comparar con cualquier otro
elemento, es decir es o mayor, o menor, o igual. Sin embargo, esto no siempre es un requisito deseable. Un ejemplo
bien conocido es el orden de los subconjuntos de un conjunto. Si un conjunto contiene los elementos de cierto otro
conjunto, entonces se puede decir que es mayor o igual. Con todo, hay conjuntos que pueden no ser comparables de
este modo, puesto que cada uno puede contener algn elemento que no est presente en el otro. Por lo tanto,
inclusin de subconjuntos es un orden parcial, en comparacin con los rdenes totales dados antes.
Alentadas por los amplios usos prcticos de los rdenes, se pueden definir numerosas clases especiales de conjuntos
ordenados, algunas de las cuales han llegado a ser campos matemticos por s mismos. Adems, la teora del orden
no se restringe a las varias clases de relaciones de orden, sino que tambin considera funciones apropiadas entre
ellas. Un ejemplo simple de una propiedad orden terica viene del anlisis donde encontramos con frecuencia a las
funciones montonas.
Introduccin a las definiciones bsicas
Esta seccin tiene como objetivo dar una primera gua al reino de los conjuntos ordenados. Est dirigida al lector que
tiene un conocimiento bsico teora de conjuntos y aritmtica y que sabe qu es una relacin binaria, pero que no
est familiarizado, hasta ahora, con consideraciones tericas sobre orden.
Conjuntos parcialmente ordenados
Como ya se hizo alusin arriba, un orden es una relacin binaria especial. Por lo tanto consideremos algn conjunto
P y una relacin binaria en P. Entonces es un orden parcial si es reflexiva, antisimtrica, y 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)
si a b y b a entonces a = b, (antisimetra).
Un conjunto con un orden parcial se llama conjunto parcialmente ordenado, o, en breve, poset (del ingls partially
ordered set). El trmino conjunto ordenado a veces tambin se utiliza para los posets, mientras est claro del
contexto que no se quiere significar ninguna otra clase de rdenes. Comprobando esta propiedad, se ve
inmediatamente que los bien conocidos rdenes de los naturales, enteros, racionales y reales son todos rdenes en el
Teora del orden
2
antedicho sentido. Sin embargo, tienen la propiedad adicional de ser total, es decir, para todo a, b en X
a b o b a (totalidad)
este orden se puede tambin llamar orden lineal o cadena. mientras que muchos rdenes clsicos son lineales, el
orden entre subconjuntos de un conjunto proporciona un ejemplo donde ste no es el caso. De hecho, muchas
propiedades avanzadas de los posets son interesantes principalmente para un orden no lineal.
Visualizando rdenes
Antes de proceder con ms ejemplos y definiciones, ser provechoso poder exhibir un orden de una manera grfica
conveniente, para proporcionar un "cuadro" que uno pueda tener en mente (o en papel) cuando se intente acceder a
conceptos ms abstractos. Para este propsito se han introducidos los, as llamados, diagramas de Hasse. Estos son
grafos donde los vrtices son los elementos del poset y la relacin de orden est indicada por las aristas y la posicin
relativa de los vrtices. Los rdenes se dibujan de abajo hacia arriba: si un elemento x es menor que y entonces existe
una trayectoria de x hasta y que se dirige hacia arriba. A menudo es necesario que la conexin entre puntos se
intersequen, pero los puntos nunca deben ser situados en conexin directa entre otros dos puntos.
An los conjuntos infinitos pueden a veces ser ilustrados por diagramas similares, usando puntos suspensivos (...)
despus de dibujar un suborden finito que sea lo suficientemente instructivo. Esto funciona bien para los nmeros
naturales, pero falla para los reales, donde no existe el inmediato sucesor. Sin embargo, frecuentemente se obtiene
una intuicin relacionada con diagramas de este tipo.
Todos los rdenes antedichos son muy comunes en matemtica, sin embargo hay tambin ejemplos que uno no
considera a menudo como rdenes. Por ejemplo, la relacin de identidad "=" en un conjunto es un orden parcial.
Dentro de este orden, cualesquiera dos (i.e. distintos) elementos son incomparables. Es tambin la nica relacin que
es un orden parcial y una relacin de equivalencia. El diagrama de Hasse de tal orden discreto es solamente una
coleccin de puntos etiquetados, sin ninguna arista entre ellos.
Otro ejemplo viene dado por la relacin de divisibilidad "|". Para dos nmeros naturales n y m, escribimos n|m si n
divide a m sin resto. Uno ve fcilmente que esto da realmente un orden parcial. Un ejercicio instructivo es dibujar el
diagrama de Hasse para el conjunto de los nmeros naturales que son menores o iguales que, digamos, 13, ordenados
por |.
Elementos especiales dentro de un orden
En un conjunto parcialmente ordenado hay algunos elementos que desempean un papel especial. El ejemplo ms
bsico est dado por el mnimo de un poset. Por ejemplo, 1 es el mnimo de los nmeros naturales y el conjunto
vaco es el mnimo bajo el orden de subconjuntos. Formalmente, esto se puede describir por la propiedad:
0 a, para todo elemento a del conjunto ordenado.
Es frecuente encontrar la notacin 0 para el mnimo, incluso cuando no se refiera a nmeros. Sin embargo, en un
orden de un conjunto numrico, esta notacin puede ser inadecuada o ambigua, puesto que el nmero 0 no siempre
es el mnimo. Un ejemplo es el antedicho orden de divisibilidad |, donde 1 es el mnimo puesto que divide a todo el
resto de nmeros. Por otra parte, 0 es un nmero que se divide por todo el resto de nmeros. Por lo tanto es el
mximo del orden! Otros trminos frecuentes para estos elementos son fondo y tapa o cero y uno. Pueden no
existir los elementos "mnimo" o "mximo", como demuestra el ejemplo de los nmeros reales. Por otra parte, si
existen son siempre nicos. En contraste, consideremos la relacin de divisibilidad | en el conjunto {2, 3, 4, 5, 6}.
Aunque este conjunto no tiene ni tapa ni fondo, los elementos 2, 3, y 5 no tienen ningn elemento debajo, mientras
que 4, 5, y 6 no tienen ninguno otro nmero arriba. Tales elementos se llaman minimales y maximales,
respectivamente. Formalmente, un elemento m es minimal si:
a m implica a = m, para todo elemento a.
Teora del orden
3
Intercambiando con obtenemos la definicin de maximal. Como el ejemplo demuestra, puede haber muchos
elementos minimales o maximales y algn elemento puede ser maximal y minimal (e.g. 5 arriba). Sin embargo, si
hay un elemento mnimo, entonces es el nico elemento minimal del orden. (Si se sigue estrictamente la definicin
dada. Lamentablemente hay una tradicin matemtica "a contrario": considerar los minimales y maximales en el
conjunto despojado de su mximo y su mnimo, si los hubiere. Esto debe recordarse. N.T.). Una vez ms, en los
posets no siempre hay infinitos elementos maximales - el conjunto de todos los subconjuntos finitos en un conjunto
infinito dado, ordenado por inclusin de subconjuntos, proporciona uno, entre muchos, contraejemplo. Una
herramienta importante para asegurar la existencia de elementos maximales bajo ciertas condiciones es el Lema de
Zorn.
Los subconjuntos de un conjunto parcialmente ordenado heredan el orden. Ya aplicamos esto al considerar el
subconjunto {2, 3, 4, 5, 6} de los nmeros naturales con el orden de divisibilidad inducido. Hay tambin elementos
de un poset que son especiales con respecto a cierto subconjunto del orden. Esto conduce a la definicin de cota
superior. Dado un subconjunto S de cierto poset P, una cota superior de S es un elemento b de P que est sobre todo
elemento de S. Formalmente, esto significa que
s b, para todo s en S.
Cota inferior se define invirtiendo el orden. Por ejemplo, -5 es una cota inferior de los nmeros naturales como
subconjunto de los enteros. Dado un conjunto de conjuntos , una cota superior para stos conjuntos viene dado por su
unin. De hecho, esta cota superior es muy especial: es el ms pequeo conjunto que contiene todos los conjuntos
dados. Por lo tanto, encontramos la menor cota superior de un conjunto de conjuntos. Este concepto se llama
tambin supremo y para un conjunto S se escribe sup S o VS para su menor cota superior. Inversamente, la mayor
cota inferior se la conoce como nfimo y se denota inf S o ^S. Este concepto desempea un papel importante en
muchos usos de la teora del orden. Para dos elementos x y y, uno tambin escribe x v y y x ^ y para sup{x, y} e inf{x,
y}, respectivamente.
Usando Wikipedia TeX markup, uno puede tambin escribir y , as como smbolos grandes y .
Observe, sin embargo, que todos esos smbolos pueden no tener smbolo de tamao correspondiente al de la fuente
del texto estndar y, por tanto, se prefiere utilizarlos en lneas adicionales. Muchos de los navegadores de hoy son
incapaces de representar para v y para ^ en algunas plataformas, y por lo tanto se evita aqu.
Considere otro ejemplo en la relacin | para los nmeros naturales. La menor cota superior de dos nmeros es el
menor nmero que es mltiplo de ambos, es decir el mnimo comn mltiplo. Mayor cota inferior es,
alternativamente, el mximo comn divisor.
Dualidad
En las anteriores definiciones, a menudo, observamos que un concepto puede ser definido por invertir simplemente
el orden en una definicin anterior. Este es el caso para "menor" y "mayor", para "mnimo" y "mximo", para "cota
superior " y "cota inferior", etctera. Esto es una situacin general en teora de orden: Un orden dado se puede
invertir con solamente intercambiar su direccin, pictricamente dar vuelta el diagrama de Hasse de arriba para
abajo. Esto da el, as llamado, orden dual, inverso u opuesto.
Cada definicin orden terica tiene su dual: es la nocin que se obtiene al aplicar la definicin al orden inverso. Dada
la simetra de todos los conceptos, esta operacin preserva los teoremas del orden parcial. Para un resultado
matemtico dado, se puede, simplemente, invertir el orden y substituir todo definicin por su dual y obtener otro
teorema vlido. Esto es importante y til, puesto que uno obtiene dos teoremas al precio de uno. Ms detalle y
ejemplos se pueden encontrar en el artculo sobre dualidad en teora de orden.
Teora del orden
4
Construccin nuevos rdenes
Hay muchas maneras de construir rdenes o de combinar rdenes en uno nuevo. El orden dual es un primer ejemplo.
Otra construccin importante es el producto cartesiano de dos conjuntos parcialmente ordenados, junto con el orden
producto en pares de elementos. Esto se define por los rdenes originales haciendo (a, x) (b, y) si a b y x y. La
unin disjunta de dos conjuntos parcialmente ordenados es otra construccin tpica, donde el orden es exactamente la
unin de los rdenes originales.
Como en el caso del orden usual de nmeros, cada orden parcial da lugar a un orden estricto <, al definir a < b si a
b y no b a. Esta transformacin puede ser invertida haciendo a b si a < b o a = b.
Funciones entre rdenes
Es razonable requerir que las funciones entre conjuntos parcialmente ordenados tengan ciertas propiedades
adicionales, que se relacionen con la relacin de orden de los dos conjuntos. La condicin ms fundamental que se
presenta en este contexto es la monotona. Un funcin f de un poset P a un poset Q es montona u orden
preservante, si a b en P implica f(a) f(b) en Q. La conversa de esta implicacin conduce a una funcin que es
orden reflectante, es decir una funcin f como arriba para la cul f(a) f(b) implica a b. Por otra parte, una
funcin puede tambin ser orden inversora o anttona, si a b implica f(a) f(b).
Una inmersin de orden es una funcin f entre rdenes que es orden preservante y orden reflectante. Ejemplos para
esta definicin se encuentran fcilmente. Por ejemplo, funcin que mapea un nmero natural en su sucesor es
claramente montona con respecto al orden natural. Cualquier funcin de un orden discreto, es decir un conjunto
ordenado por el orden identidad "=", es tambin montono. Mapear cada nmero natural al correspondiente nmero
real da un ejemplo para una inmersin de orden. El complemento conjuntista en un conjunto de partes es un ejemplo
de una funcin anttona.
Una importante pregunta es cundo dos rdenes son "esencialmente iguales", es decir cundo son lo mismo salvo
retitular elementos. Un isomorfismo de orden es una funcin que define tal renombrar. Un isomorfismo de orden es
una funcin montona biyectiva que tiene una inversa montona. Esto es equivalente a una inmersin de orden
sobreyectiva. Por lo tanto, la imagen f(P) de una inmersin de orden es siempre isomorfa a P, lo que justifica el
trmino "inmersin".
Un ms elaborado tipo de funcin es la, as llamada, conexin de Galois. Conexiones de Galois montonas pueden
ser vistas como una generalizacin de los isomorfismos de orden, puesto que estn constituidas por dos funciones en
inversa direccin, que no son inversas absolutas una de la otra, pero tienen cercana relacin.
Otro tipo especial de endofuncin en un poset es el operador de clausura, que no solamente es monotnico, sino
tambin idempotente, es decir. f(x) = f(f(x)), y extensivo, es decir. x f(x). ste tiene mucho uso en todo clase de
"clausuras" que aparecen en matemtica.
Adems de compatible con la mera relacin de orden, una funcin entre posets puede tambin comportarse bien con
respecto a elementos especiales y construcciones. Por ejemplo, cuando se habla de posets con menor elemento,
parece razonable considerar solamente una funcin monotnica que preserve este elemento, es decir que mapee
menor elemento en menor elemento. Si el nfimo binario ^ existe, entonces una propiedad razonable puede ser
requerir que f(x^y) = f(x) ^ f(y), para todo x y y. Todas estas propiedades, y de hecho muchas ms, pueden ser
agrupadas bajo la etiqueta funcin que preserva lmite.
Finalmente, uno puede invertir la visin, cambiar funciones de orden a orden de funciones. De hecho, las funciones
entre dos posets P y Q pueden ser ordenadas va el orden punto a punto. Para dos funciones f y g, se tiene f g si f(x)
g(x) para todo elemento x en P. Esto ocurrir por ejemplo en teora de dominios, donde los espacios funcionales
desempean un importante papel.
Teora del orden
5
Tipos especiales de orden
Muchas de las estructuras que son estudiadas en teora de orden emplean relaciones con propiedades adicionales. De
hecho, algunas relaciones que no son de orden parcial son de especial inters. Principalmente, el concepto de
preorden tiene que ser mencionado. Un preorden es una relacin que es reflexiva y transitiva, pero no
necesariamente antisimtrica. Cada preorden induce una relacin de equivalencia entre elementos, donde a es
equivalente a b, si a b y a b. Los prerdenes pueden ser convertidos en rdenes identificando todo elemento
equivalente con respecto a esta relacin.
Tipos bsicos de rdenes especiales ya se dieron en forma de orden total. Una simple pero til propiedad adicional
conduce al, as llamado, buen orden, dentro del que todo subconjunto no vaco tiene un menor elemento (tambin
denominado primer elemento). Muchos otros tipos de orden se presentan cuando se garantiza la existencia de
nfimos y supremos de ciertos conjuntos. Centrndose en este aspecto, generalmente referido como completitud de
rdenes, se obtiene:
Posets acotados, es decir posets con menor y mayor elementos (que son precisamente supremo e nfimo del
conjunto vaco),
reticulados, en que cada conjunto finito no vaco tiene supremo e nfimo,
reticulados completos, donde cada conjunto tiene supremo e nfimo, y
rdenes parciales dirigidos completos (dcpos), que garantizan la existencia de supremo en todo subconjunto
dirigido y son estudiados en teora de dominios.
Sin embargo, uno puede ir incluso ms all: si todo nfimo finito no vaco existe, entonces ^ puede ser visto como
una operacin binaria total en el sentido del lgebra universal. Por lo tanto, en un reticulado, dos operaciones ^ y v
estn disponibles, y se puede definir nuevas propiedades dando identidades, tal como
x ^ (y v z) = (x ^ y) v (x ^ z), para todo x, y, y z.
Este condicin se llama distributividad y dar lugar a los reticulados distributivos. Hay algunas otras importantes
leyes de distributividad que son discutidas en el artculo sobre la distributividad en teoras de orden. Algunas
estructuras de orden adicionales que son a menudo especificadas va operacin algebraica y definiendo identidades
son
lgebras de Heyting y
lgebras de Boole,
en que ambas introducen una nueva operacin ~ llamada negacin. Ambas estructuras desempean un papel en
lgica matemtica y especialmente las lgebras de Boole tienen importante uso en informtica. Finalmente, varias
estructuras en matemtica combinan orden con operaciones an ms algebraicas, como el caso de quantales, que
permite la definicin de una operacin de adicin.
Existen muchas otras importantes propiedades de los posets. Por ejemplo, un poset es localmente finito si cada
intervalo cerrado [a, b] en l es finito. Los posets localmente finitos dan lugar a lgebras de incidencia que
alternadamente pueden ser utilizadas para definir caracterstica de Euler de posets finitos acotados.
Subconjuntos de conjuntos ordenados
En un conjunto ordenado, uno puede definir muchos tipos especiales de subconjuntos basados en el orden dado. Un
ejemplo simple son los conjuntos superiores, es decir conjuntos que contienen todo elemento que est sobre ellos
en el orden. Formalmente, la clausura superior de un conjunto S en un poset P viene dado por el conjunto {x en P|
hay algn y en S con y x}. Un conjunto que es igual a su clausura superior se llama un conjunto superior. conjunto
inferior es definido dualmente.
Subconjuntos inferiores ms complicados son los ideales, que tienen la propiedad adicional que cada dos de sus
elementos tiene cota superior dentro del ideal. Su nocin dual son los filtros. Un concepto relacionado es el de
Teora del orden
6
subconjunto dirigido, que como un ideal contiene cota superior de un subconjunto finito, pero no tiene porque ser un
conjunto inferior. Adems, a menudo se generaliza a conjuntos preordenados.
Un subconjunto que es - como sub-poset - linealmente ordenado, se llama una cadena. La nocin opuesta,
anticadena, es un subconjunto que no contiene ningn par de elementos comparables, es decir que es un orden
discreto.
reas matemticas relacionadas
Aunque la mayora de las reas matemticas usan orden de uno u otra manera, tambin hay algunas teoras que
tienen una relacin que va mucho ms all de la mera utilizacin. Junto con su importante punto de contacto con la
teora de orden, algunas sern presentadas abajo.
lgebra universal
Segn lo ya mencionado, los mtodos y el formalismo del lgebra universal son una herramienta importante para
muchas consideraciones orden tericas. Aparte de formalizar rdenes en trminos de estructuras algebraicas que
satisfacen ciertas identidades, se pueden tambin establecer otras conexiones con el lgebra. Un ejemplo es la
correspondencia entre las lgebras de Boole y los anillos de Boole. Otros aspectos tienen que ver con la existencia de
construcciones libres, tal como los reticulados libres basados en un conjunto de generadores. Adems, los
operadores de clausura son importantes en el estudio del lgebra universal.
Topologa
En topologa el orden desempea un muy prominente papel. De hecho, el conjunto de los abiertos proporciona un
clsico ejemplo de un reticulado completo, ms exactamente un lgebra de Heyting completa (o "marco" o
"locale"). Los filtros y las redes son nociones relacionadas con la teora de orden y el operador clausura conjuntista
puede ser utilizado para definir una topologa. Ms all de esta relacin, la topologa se puede mirar nicamente en
trminos del reticulado de conjuntos abiertos, que conduce al estudio de la topologa sin puntos. Adems, un
preorden natural de elementos del conjunto subyacente de una topologa viene dada por el, as llamado, orden de
especializacin, que es realmente un orden parcial si la topologa es T
0
.
Inversamente, en teora de orden, uno a menudo hace uso de resultados topolgicos. Hay varias maneras de definir
subconjuntos de un orden que pueden ser considerados como conjunto abiertos de una topologa. Especialmente, es
interesante considerar topologas en un poset (X, ) que reobtiene como su orden de especializacin. La ms fina
de tales topologas es la topologa de Alexandrov, dada al tomar todos los conjuntos superiores ("upper") como
abiertos. Inversamente, la ms gruesa topologa que induce el orden de especializacin es la topologa superior, que
tiene los complementos de los ideales principales (es decir conjuntos de la forma { y en X|y x} para cada x) como
una subbase. Adicionalmente, una topologa con orden de especializacin puede ser orden consistente,
significando que sus conjuntos abiertos son "inaccesibles por supremos dirigidos" (con respecto ). La topologa ms
fina de un orden consistente es la topologa de Scott, que es ms gruesa que la topologa de Alexandrov. Una tercera
topologa importante en esta lnea es la topologa de Lawson. Hay cercanas conexiones entre estas topologas y los
conceptos de la teora de orden. Por ejemplo, una funcin preserva supremos dirigidos si y slo si es continuo con
respecto a la topologa de Scott (por este razn esta propiedad orden terica es tambin llamada continuidad de
Scott).
Teora del orden
7
Teora de categoras
La visualizacin de rdenes con diagramas de Hasse tiene una generalizacin directa: en vez exhibir elemento
menores bajo los mayores, la direccin del orden se puede tambin representar dando la direccin de las aristas del
grafo. De esta manera, cada orden se ve como equivalente a un grafo dirigido acclico, donde los nodos son los
elementos del poset y hay una trayectoria dirigida de a a b si y solamente si a b. Eliminando el requisito acclico,
uno puede tambin obtener todos los prerdenes.
Cuando es equipado con todas las aristas transitivas, estos grafos son solamente categoras especiales, donde los
elementos son los objetos y cada conjunto de morfismos entre dos elementos es a lo sumo un singletn. Funciones
entre rdenes se convierten en funtores entre categoras. Interesantemente, muchas ideas de la teora de orden son
simplemente pequeas versiones de los conceptos de la teora de las categoras. Por ejemplo, un nfimo es
precisamente un producto categrico. Ms en general, uno puede subsumir supremos e nfimos bajo la nocin
abstracta de un lmite categrico (o colmite, respectivamente). Otro lugar en donde las ideas categoriales surgen es
el concepto de una conexin de Galois (montona), que es precisamente igual a un par de funtores adjuntos.
Pero la teora de las categoras tambin tiene un impacto en la teora de orden de mayor escala. Clases de posets con
funciones apropiadas segn lo discutido arriba forman interesantes categoras. A menudo uno puede tambin
establecer construccin de rdenes, como el orden producto, en trmino de categora. Otras intuiciones resultan
cuando categoras de orden resultan equivalentes categricas a otra categora, por ejemplo de espacios topolgicos.
Este lnea de investigacin conduce a varios teoremas de representacin, a menudo recogidos bajo la etiqueta
dualidad de Stone.
Esquema de temas relacionados
lgebra de incidencia
Funcin de Mbius
Referencias
G. Gierz, K. H. Hofmann, K. Keimel, J. D. Lawson, M. Mislove, and D. S. Scott, Continuous Lattices and
Domains, In Encyclopedia of Mathematics and its Applications, Vol. 93, Cambridge University Press, 2003.
ISBN 0-521-80338-1
Fuentes y contribuyentes del artculo
8
Fuentes y contribuyentes del artculo
Teora del orden Fuente: http://es.wikipedia.org/w/index.php?oldid=73696535 Contribuyentes: Alpertron, Arct, Armenterosa, Ascnder, Banana04131, Comae, Damifb, Danielba894, DefLog,
Diegusjaimes, Digigalos, Dnu72, Dodo, Farisori, Fran89, Gato ocioso, Heimy, Icvav, Ingenioso Hidalgo, Isha, Ivn, JMCC1, JorgeGG, MarcoAurelio, Mcfilgueira, Moriel, Mpagano, Paintman,
Sabbut, Sanbec, Technopat, Wilson Fisk, Zerosxt, 41 ediciones annimas
Licencia
Creative Commons Attribution-Share Alike 3.0
//creativecommons.org/licenses/by-sa/3.0/