arabic	وحادة التكافؤ
english	univalence
french	univalence
comment