Jabarkan dan dari Urutan total

Secara intuitif, ini berarti bahwa elemen dari himpunan kedua ditambahkan di atas elemen dari himpunan pertama.

Secara umum, jika  adalah satu himpunan indeks berurutan total, dan untuk setiap  struktur  adalah urutan linear, dimana himpunan  adalah perpisahan pasangan, maka total urutan alami pada  didefinisikan oleh