Jabarkan Jumlah urutan dari Urutan total

Untuk dua urutan total disjoin  dan , terdapat urutan alami  dalam himpunan , yang disebut jumlah dari dua tatanan atau terkadang hanya :

Untuk ,  memegang jika dan hanya jika salah satu dari yang berikut ini membekukan: