æ´åéå (A, <) ã«å¯¾ãã¦ãA ãå®ç¾©åã¨ããåå GA, < ãè¶ é帰ç´æ³ã«ãã£ã¦ ã¨å®ç¾©ããã¨ããGA, < ã®å¤å ran(GA, <) ã (A, <) ã®é åºæ°ã¨ãããããã ord(A, <) ã§è¡¨ããããæ´åéåã®é åºæ°ã§ãããããªéåãé åºæ°ã¨å¼ã¶[2]ã <Ï ã¯èªç¶æ°ã®é常ã®å¤§å°é¢ä¿ï¼ãåéåã«å¶éãããã®ï¼ã表ããã®ã¨ããã¨ã ãã®ä¾ããæ¨æ¸¬ãããããã«ãä¸è¬ã«æéã®æ´åéå (A, <) ã«å¯¾ã㦠ord(A, <) 㯠A ã®è¦ç´ ã®åæ°ã«çãããç¹ã«ãä»»æã®èªç¶æ° n ã«å¯¾ã㦠ord(n, <Ï) = n ãæãç«ã¤ã®ã§ãèªç¶æ°ã¯ãã¹ã¦é åºæ°ã§ããã é åºæ°ã«é¢ãã¦æ¬¡ãæãç«ã¤ï¼ æ´åéå (A, <A) ã¨æ´åéå (B, <B) ãååã®ã¨ããã¾ããã®ã¨ãã«éã ord(A, <A) = ord(B, <B)ã (A, <) ãæéæ´åéåã®ã¨ããor
{{#tags}}- {{label}}
{{/tags}}