Description: The orthocomplement of a kernel is either an atom or zero. (Contributed by NM, 29-Jan-2015)