Because R n consists of the pairs(a, b)such that there is a path of length n from a to b, it follows that R ∗ is the union of all the sets R n . In other words,
Bởi vì R n bao gồm các cặp (a, b) sao cho có một con đường có chiều dài n từ a đến b, nó sau đó R * là sự kết hợp của tất cả các bộ R n . Nói cách khác,