Bir küme üzerinde dönüşlü, yan bakışımsız, geçişli olan ve ikilik özelliğini gerçekleyen ikili bağıntı.