Di sini, semigrup dibentuk oleh bilangan asli wan grup adalah grup aditif bilangan bulat.