به مجموعه ای که همه ی مجموعه های مورد بحث، زیر مجموعه آن باشند، مجموعه مرجع گفته خواهد شد. مجموعه مرجع را با U نشان خواهیم داد.