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.
un espacio vectorial topológico (EVT).
se llama barrilado si está cerrado y es convexo, equilibrado y absorbente en
se llama bornívoro[2] si absorbe cada subconjunto acotado de
es necesariamente un subconjunto absorbente de
un subconjunto de un espacio vectorial topológico
es un subconjunto absorbente y equilibrado de
; y si existe una sucesión
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.