Teoría TRIV (predefinida en Maude)