Consideremos que segĂşn nuestra convenciĂłn se recuerda de la siguiente manera: đ?œś → đ?œˇ → đ?œ¸ es đ?œś → (đ?œˇ → đ?œ¸) Por lo que decimos entonces que aquĂ se describe la transitividad (que para esto se requiere đ?‘ˇđ?’™đ?’› cuando exactamente en aquellos casos cuando se considera para đ?‘ˇđ?’™đ?’š y đ?‘ˇđ?’šđ?’› )
AquĂ describe la antisimetrĂa (por lo que se requiere aquĂ que đ?’™ = đ?’š sea exactamente en aquellos casos cuando đ?‘ˇđ?’™đ?’š y đ?‘ˇđ?’šđ?’™).
AquĂ se describe el caso cuando si para cada elemento hay un "mayor" uno (es decir â&#x2C6;&#x20AC;đ?&#x2019;&#x2122;â&#x2C6;&#x192;đ?&#x2019;&#x161;đ?&#x2018;ˇđ?&#x2019;&#x2122;đ?&#x2019;&#x161; ) por lo que entonces hay un elemento maximal (es decir â&#x2C6;&#x192;đ?&#x2019;&#x161;â&#x2C6;&#x20AC;đ?&#x2019;&#x2122;đ?&#x2018;ˇđ?&#x2019;&#x2122;đ?&#x2019;&#x161; ). Consideramos que el idioma mĂnimo requerido en nuestro caso, se define como (=, â&#x2C6;&#x20AC;, đ?&#x2018;ˇ) y las estructuras se define como đ?&#x2022;Ź de tal manera que |đ?&#x2022;Ź| = {đ?&#x2019;&#x201A;, đ?&#x2019;&#x192;} . Por lo que todavĂa tenemos que especificar la relaciĂłn đ?&#x2018;ˇ en |đ?&#x2022;Ź| . Por lo que hay 16 posibilidades, 10 son esencialmente diferentes (es decir por lo que no hay automorfismos entre cualesquiera dos de ellos). đ?&#x2018;ˇ â&#x2C6;&#x2026; {< đ?&#x2019;&#x201A;, đ?&#x2019;&#x201A; >} {< đ?&#x2019;&#x201A;, đ?&#x2019;&#x192; >} {< đ?&#x2019;&#x201A;, đ?&#x2019;&#x201A; >, < đ?&#x2019;&#x201A;, đ?&#x2019;&#x192; >} {< đ?&#x2019;&#x201A;, đ?&#x2019;&#x201A; >, < đ?&#x2019;&#x192;, đ?&#x2019;&#x201A; >} {< đ?&#x2019;&#x201A;, đ?&#x2019;&#x201A; >, < đ?&#x2019;&#x192;, đ?&#x2019;&#x192; >}
đ?&#x2019;&#x201A;) + + + + + +
đ?&#x2019;&#x192;) + + + + + +
đ?&#x2019;&#x201E;) + + + + +