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, naturaj nombroj) $\mathbb{N}$, tiam la cilindro de $B$ estas $B \times \mathbb{N}$.