Es el conjunto de todos los objetos que puede transformar, se denota o bien .