Continuous linear functional

Summary