irreducible_inclusion