Irreducible Subset in Discrete Time