定義
G を群とする。
X を G-集合（>>77）とする。
x、y ∈ X に対して y = σx となる σ ∈ G があるとき x 〜 y と書く。
これは明らかに同値関係である。
商集合 X/〜 を G-集合 X の軌道空間（orbit space）と呼び、X/G と書く。
X/G の各類を軌道（orbit）と言う。
x ∈ X が属す軌道を x の軌道と言い、Gx と書く。