Closed Definition In Functional Analysis