Bir küme üzerinde ürettiği düzgünlük ilingesi kendisine eşit olacak biçimde bir düzgünlük varlayan ilinge.