AO — A tributação resulta da verificação concreta de todos os pressupostos tributários, como tais descritos, abstractamente, na lei de imposto, pelo que, se não se verificar um desses pressupostos já não é possível a tributação, por obediência ao princípio da tipicidade do imposto.