કારણ કે તે સમજી શકાય છે કે જેમાંથી આપણે પસંદ કરી શકીએ છીએ તે તત્વોનો સમૂહ સાર્વત્રિક સમૂહમાંથી લેવામાં આવે છે, અમે કહી શકીએ છીએ કે A નો પૂરક એ એ તત્વનો સમાવેશ છે જે A ના તત્વો નથી.