Значит, это и есть множество достижимости точки x1.
Нужно отметить x2.
Возможно, что можно отметить саму точку x1.
Если мы в ней стоим, то мы ее уже достигли. Но это не точно.
А вот точки x3, x4, x5 – точно нельзя отмечать. Из них в x1 не попадешь.