Description: Property of a functional with a closed kernel. TODO: Make lcfl5 etc. obsolete and rewrite without C hypothesis? (Contributed by NM, 29-Jan-2015)