consider L being complete LATTICE;
take L |^ {} ; :: thesis: ( L |^ {} is constituted-Functions & not L |^ {} is empty )
thus ( L |^ {} is constituted-Functions & not L |^ {} is empty ) ; :: thesis: verum