Bauerian extension

Bauerian extension is a concept in the field of functional analysis and related areas of mathematics, particularly concerning the extension of linear operators or functionals from one space to another. It is named after the mathematician Friedrich Bauer. In a more specific context, consider the problem of extending bounded linear functionals defined on a subspace of a Banach space to the entire space.