english: The reachable list, for i N and s S for DMi from s symbolized by Ri (s) S is the set {t S|(s,t) Ai}.
non_english: reachtaínn reachtaíteá reachtaíodh sé, sí reachtaímis; reachtaíodh muid reachtaíodh sibh reachtaídís; reachtaíodh siad a reachtaíodh /