The set of reachable objects is the transitive closure of the root set under the points-to relation.

• 可到达的对象集是指向关系下根集的传递闭包。