X=k\leftrightarrow (\forall i<k)v_i\not\in\{v_1,\dots,\v_{i-1}\}\land v_{k}\in\{v_1,\dots v_{k-1}\}