Por ejemplo, para especificar el TDA de los booleanos se utiliza la siguiente signatura: