How to mathematically formulate and illustrate the following statement? English is not my native language and I'm trying formulate the following statement as simple and as mathematical as I can:

A code is composed of a family name followed by n option(s):
    1: {family}
      n: option(s)

I have n+1 in mind but I'm sure I can use it in there.
Could it be formulated or illustrated any better?
EDITS
The choice of family is independent of the choice of options..
The family name could be anything really, "abc", "a100", etc..
An option is a facet or characteristic of a product..
An option could be anything: "-Z", "01", "HH"..
Random-on-the-fly possible codes:

abc-Z01HH
  a100-NFF02
  a250-V204C  

I am trying to document the composition of product codes in a system.
I'm questioning my usage of n in the above statement.
Thanks
 A: Though you've already accepted my answer, I wanted to try to give a less technical phrasing (though it might be more suited to English.SE, I suppose):

A product code $P$ consists of a family name $f$, followed by some number of options $o_1,\ldots, o_n$.
For example, the product code $P$ of a product with family name $f=\text{ABC}$ and with options $o_1=\text{21}$ and $o_2=\text{ZZ}$ would be
$$P = \text{ABC}{-}21\text{ZZ}$$


Here is an attempt to capture what (I think) you're saying:

Let $F$ be the set of all family names.
For each $1\leq k\leq n$, let $O_k$ be the set of all possible values for the $k$th option.
Then a code is defined to be an element of
$$F\times O_1\times\cdots\times O_n.$$

See Cartesian product - given a set of objects $A$, and a set of objects $B$, their Cartesian product is the set $A\times B$ consisting of ordered pairs, the first entry taken from $A$, the second taken from $B$. Thus, an element of
$$F\times O_1\times\cdots\times O_n$$
looks like
$$(f,o_1,\ldots,o_n)$$
where $f$ is a family name, $o_1$ is one of the possible choices for option 1, etc. This sounded like your description of what you want a "code" to be.
