最小上界,关于最小上界的所有信息