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