Irreducible representation can be constituted-of-or-filled-with finite groups.
A finite number can be constituted-of-or-filled-with representation.
A finite sequence can be constituted-of-or-filled-with natural numbers.
Finite sequences can be constituted-of-or-filled-with formulas.
A finite number can be constituted-of-or-filled-with indices.