设S为非空数集,试对下列概念给出定义