Pencarian berdasarkan :
Pencarian terakhir:
𝑅′ dapat didefinisikan suatu pemetaan bijektif dari 𝑅 ke 𝑅′ yang memenuhi