אנגלית ⇄ סינית +

equivalence relation defined by...
.קריפט	等价关系被....定义