Ensina a doutrina que na relação entre a tipicidade e a ilicitude a existência do fato típico gera uma presunção relativa de que também é ilícito. Esta teoria, adotada pelo Código Penal e pela doutrina majoritária brasileira, é chamada de teoria:
