permiten definir procedimientos, constituídos por una