La théorie fonctionnaliste comporte ainsi trois types de spécifications :