Let ⋅ : G → X → X \cdot:G\to X\to X be a Group Action. The orbit of an element x : X : 𝑥 𝑋 x:X , denoted G ⋅ x ⋅ 𝐺 𝑥 G\cdot x the set { y : X ∣ ∃ g . α ( g , x ) = y } conditional-set 𝑦 formulae-sequence conditional 𝑋 𝑔 𝛼 𝑔 𝑥 𝑦 \left\{y:X\mid\exists g.\;\alpha(g,x)=y\right\} of elements that can be reached via α 𝛼 \alpha from x 𝑥 x .