Especialização
Notação de Chen:
Na notação de Martin: