A C*-algebra representation of 
is a pair 
where 
is a Hilbert space and 
is a *-homomorphism.
is said to be faithful if 
is injective.
For example, if 
is a Hilbert space and 
is a 
-subalgebra of 
, then 
where 
is the inclusion map is
a faithful representation.
