Text this: On a characterization of the lattice of subsystems of a transition system