Lasu ${\displaystyle A}$ esti aro kaj ${\displaystyle B\subseteq A}$. Tiam la cilindro de ${\displaystyle B}$ kun respekto al ${\displaystyle A}$ estas la kartezia produto ${\displaystyle B\times A}$ de ${\displaystyle B}$ kaj ${\displaystyle A}$. Normale, ${\displaystyle A}$ estas konsiderita universo de la ĉirkaŭteksto kaj estas restita for.

Ekzemple, se ${\displaystyle B}$ estas subaro de la naturaj nombroj ${\displaystyle \mathbb {N} }$, tiam la cilindro de ${\displaystyle B}$ estas ${\displaystyle B\times \mathbb {N} }$.