A vertex belongs to the controllable attractor of target set T iff the System has a memoryless winning strategy to force reachability. The integer rank function strictly decreases at every System move, guaranteeing arrival in T in finitely many steps.