Mewn mathemateg, mae set (enw benywaidd; 'grŵp' ar lafar gwlad) yn gasgliad o wrthrychau gwahanol, a ystyrir fel gwrthrych. Er enghraifft, mae'r rhifau 2, 4, a 6 yn unedau unigryw wrth eu hystyried ar wahân, ond pan gânt eu hystyried ar y cyd, mewn grŵp, maent yn ffurfio set sengl o dri (hy tri mewn nifer), a gaiff ei sgwennu fel {2,4,6}. Mae'r cysyniad o set yn un o feysydd craidd mathemateg. Fe'i datblygwyd ar ddiwedd y 19g ac mae 'theori set', bellach, yn rhan anhepgor o fathemateg. Yn y byd addysg, addysgir pynciau elfennol y theori set megis diagramau Venn yn y blynyddoedd cynnar, tra bod cysyniadau mwy cymhleth yn cael eu haddysgu fel rhan o radd prifysgol.
Cafodd y gair Almaeneg am 'set', sef menge, ei fathu gan Bernard Bolzano, un o arloeswyr y maes hwn, yn ei lyfr Paradocsau'r Anfedirol (Paradoxien des Unendlichen; 1851).[1]