Bir küme üzerinde tanımlı bir bağıntının denklik bağıntısı olabilmesi için hangi özellikleri sağlaması gerekir?