A representation of a -algebra 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.