up:: Group Action A group action from some non-empty Group G over some set X is said to be regular if it is Free and Transitive. References regular action in nLab