Jabarkan dimana dari Relasi perulangan

adalah sebuah fungsi, di mana  adalah himpunan yang harus dimiliki elemen-elemen urutan. Untuk apapun , ini mendefinisikan urutan unik dengan  sebagai elemen pertamanya, yang disebut nilai awal.

Sangat mudah untuk mengubah definisi untuk mendapatkan urutan mulai dari indeks 1 atau lebih tinggi.

Ini mendefinisikan relasi perulangan orde pertama. Relasi perulangan  orde memiliki bentuk

dimana  adalah fungsi yang melibatkan  elemen berurutan dari urutan tersebut.

Dalam kasus ini, nilai awal  diperlukan untuk menentukan urutan.