inf{En} sup{En}

总想用最简洁话来描述这两位，不求严谨，但求好想——数学直观者——直接观感，直接者，简单快洁也，易说易想，说快想快：

日头会总在东方升起；

日全食总会出现。

inf{En}  = {会总在以后的En中出现的元素} = {会总在En中出现的元素}   =  {会总出现的元素} 

sup{En}  =  {总会在以后的En中出现的元素} = {总会在En中出现的元素} = {总会出现的元素}

inf{En}的补={会总在En中出现的元素}的补={不会总在En中出现的元素}={总会在En的补中出现的元素}=sup{En的补}

sup{En}的补={总会在En中出现的元素}的补={总不会在En中出现的元素}={会总在En的补中出现的元素}=inf{En的补}