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 group
action of 
is not transitive, the diagonal set is the union of
one orbital for each group
orbit of 
on 
.
A diagonal orbital is self-paired.
