(Usamos la notación del ejemplo anterior) Sea A : R → SUT(2)