Geef de formele definitie van een belasting.