Üzerinde her (?)koşullarını gerçekleyen bir (?) tikel sıralama bağıntısı tanımlanan R değişmeli dolamı.