G என்பது வெற்றில்லாத கணம் S ஒன்றின்மேல் வரிசைமாற்றுக் குலமாக செயல்பட் பட்டுக்க் இருக்கும் ஒரு முடிவுறு குலம் என்றால் , G-சுற்றுப்பாதைகளின் எண்ணிக்கை =
Entity: முடிவுறு குலம் — Type: /location