Subdirectly irreducible

Summary