En análisis funcional, un subconjunto de un espacio vectorial topológico (EVT) se denomina barrilado si está cerrado y es convexo, equilibrado y absorbente.[1]
Los conjuntos barrilados desempeñan un papel importante en las definiciones de varias clases de espacios vectoriales topológicos, como los espacios barrilados.
Sea un espacio vectorial topológico (EVT). Un subconjunto de se llama barrilado si está cerrado y es convexo, equilibrado y absorbente en Un subconjunto de se llama bornívoro[2] si absorbe cada subconjunto acotado de Cada subconjunto bornívoro de es necesariamente un subconjunto absorbente de
Sea un subconjunto de un espacio vectorial topológico Si es un subconjunto absorbente y equilibrado de ; y si existe una sucesión de subconjuntos absorbentes equilibrados de tal que para todos los entonces se denomina suprabarrilado[3] en donde además, se dice que es un(a):
En este caso, se denomina la sucesión definitoria de [3]
Téngase en cuenta que cada ultrabarril bornívoro es un ultrabarril, y que cada suprabarril bornívoro es un suprabarril.