An orbital of a permutation group 
acting on a finite set 
is a group
orbit of the componentwise group action of 
on the cartesian
product 
.
Thus the orbital containing 
is
 |
The paired orbital of 
is 
.
An orbital is self-paired if it equals its
paired orbital, so 
.
The diagonal orbital 
is also called the trivial orbital.
An orbital is the arc set of an orbital digraph. A self-paired orbital, or an orbital together with its paired orbital, gives the edge set of an undirected orbital graph.
