Since X is not a group, we cannot multiply elements; we can, however, take their "quotient".
因为X不是一个群，我们不能将元素相加；但是我们可以取它们的‘差’。