Cilindro (algebro)

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

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