Una representación se llama "fiel" si y solamente si la "función" R → End("M") es inyectiva.