Description: Properties of the closure of the kernel of a functional. (Contributed by NM, 1-Jan-2015)