podemos hacer la siguiente definición para un árbol binario de búsqueda (también en maude):