reachable set

Мат. достижимое множество