总想用最简洁话来描述这两位,不求严谨,但求好想——数学直观者——直接观感,直接者,简单快洁也,易说易想,说快想快:
日头会总在东方升起;
日全食总会出现。
inf{En} = {会总在以后的En中出现的元素} = {会总在En中出现的元素} = {会总出现的元素}
sup{En} = {总会在以后的En中出现的元素} = {总会在En中出现的元素} = {总会出现的元素}
inf{En}的补={会总在En中出现的元素}的补={不会总在En中出现的元素}={总会在En的补中出现的元素}=sup{En的补}
sup{En}的补={总会在En中出现的元素}的补={总不会在En中出现的元素}={会总在En的补中出现的元素}=inf{En的补}