The diagonal orbital of a transitive permutation group 
acting on a finite set 
is the orbital
 |
It consists of the ordered pairs whose two coordinates are equal and is also called the trivial orbital. More generally, if the action of
is not transitive, the diagonal
set is the union of one orbital for each orbit of 
on 
. A diagonal orbital is self-paired.
