We have just defined four important sets in terms of the transitive closure of four very simple relations.

• 我们根据四个非常简单的关系的传递闭包，恰好完成了四个重要的集合。