ãã¼ã«ä»£æ°ã®ä»çµã¿ã«ã¤ãã¦å¤§ã¾ãã«èª¬æãã¦ãã¹ãã¼ã³è¡¨ç¾ã«ã¤ãã¦è»½ã説æãããã¾ããæã®å®ç¾©ããã¼ã«ä»£æ°ã®å®ç¾©ãããå§ããã [æã¨ã¯] æ(lattice)ã¨ã¯ãåé åº(partial order) $(L,\le)$ã«å¯¾ãã¦ãä»»æã®$x,y \in L$ã«ä¸éãä¸éãåå¨ãããã®ã®ãã¨ããããåé åºã¯ãé åºé¢ä¿ã«$a,b,c \in L$ã§æ¬¡ã®ä¸ã¤ãæãç«ã¤ãã®ã®ãã¨ã åå°å¾ ... $ a \le a $ æ¨ç§»å¾ ... $a \le b $ãã¤$ b \le c$ãªãã°ã$a \le c$ åå¯¾ç§°å¾ ... $ a \le b $ãã¤$ b \le a$ãªãã°ã$a=b$ ãã¨ãã°ãä¸è¨ã®ãããªä¸ããä¸ã«åãã¦ã®åé åºæ§é ãããã¨ããã 赤ã丸ãå ã§ç·ã§ã¤ãªãã é¢ä¿ãåé åºé¢ä¿ã§ããã$ä¸ã®ä¸¸ \le ä¸ã®ä¸¸ $ã§ãããã©ã¡ããåé åºæ§é ããªãã¦ããå³ãªãã ãã©ãå³ã®å³ã¯æã«ãªã
{{#tags}}- {{label}}
{{/tags}}