"finiteness" - key terms from Wikipedia

finiteness theorem