নিখিল সেট বা Universal Set (যাকে সাধারণত U দ্বারা প্রকাশ করা হয়) হলো এমন একটি সেট যা কোনো নির্দিষ্ট আলোচনা বা গাণিতিক সমস্যার অন্তর্গত সকল উপাদানকে ধারণ করে। অর্থাৎ, একটি নির্দিষ্ট প্রেক্ষাপটে যে সমস্ত ছোট ছোট উপসেট নিয়ে আমরা কাজ করি, তাদের প্রত্যেকের সকল উপাদানই এই নিখিল সেটের অন্তর্ভুক্ত থাকে। উদাহরণস্বরূপ, আমরা যদি কেবল জোড় সংখ্যা ও বিজোড় সংখ্যা নিয়ে আলোচনা করি, তবে সকল স্বাভাবিক সংখ্যার সেটটি হবে আমাদের নিখিল সেট।
গাণিতিক সেট প্রক্রিয়ায় নিখিল সেটের ভূমিকা অত্যন্ত গুরুত্বপূর্ণ, কারণ এটি আলোচনার একটি সীমানা নির্ধারণ করে দেয়। কোনো সেটের পূরক সেট (Complement Set) নির্ণয় করতে হলে নিখিল সেটের উপস্থিতি আবশ্যক, কারণ একটি সেটের বাইরে যা কিছু আছে তা নিখিল সেটের সাপেক্ষেই হিসেব করা হয়। সহজ কথায়, কোনো নির্দিষ্ট বিষয়ের উপর ভিত্তি করে গঠিত সম্ভাব্য সকল উপাদানের সমষ্টিই হলো ওই আলোচনার জন্য নিখিল সেট।