Si "V" tiene un subespacio propio no trivial "W" tal que W es estable por la representación ρ, entonces la representación se dice "reducible".