Countable linear orders with disjoint infinite intervals are mutually orthogonal

دو خطی خطی از همان مجموعه عمود بر هستند، اگر تنها خودسنجی این مجموعه که آنها را حفظ می کند، هویت و همبستگی های ثابت است. دو خطی خطی هستند اگر آنها ایزومورفیک به دو دستورالعمل خطی عمود است. ما نشان می دهیم که دو مرتبه خطی قابل شمارش به صورت یکسانی به همان اندازه که هر یک دارای دو فواصل بی نهایت مجزا است. از این و نتایج قبلا شناخته شده به طور خاصی پیروی می کند که هر خطی به صورت شمارا بی نهایت خطی به خود متناظر است.