たとえばXを人間（生死は問わない）の集合とし、「xはyの親である」という関係xRyを考えると、その推移閉包は「xはyの先祖である」という関係xR+yである。
例如，如果X是(生或死)人的集合而R是关系“为父子”，则R的传递闭包是关系“x是y的祖先”。