Isso implica a formulação de tipos legais de crime, onde se descrevem detalhadamente todos os elementos constitutivos do comportamento punido por lei, de tal forma que, se não houver uma total correspondência entre os factos praticados pelo agente e os tipificados na norma incriminadora, não ocorre crime nem há lugar à aplicação de qualquer pena.