Description: Part of proof of Lemma E in Crawley p. 113. Closure of N . TODO FIX COMMENT This is the start of a re-proof of cdleme27cl etc. with the s .<_ ( P .\/ Q ) condition (so as to not have the C hypothesis). (Contributed by NM, 24-Mar-2013)