Budzyń (dawniej Budzyń Fabryczny) – część miasta i niewielka dzielnica Kraśnika pomiędzy głównymi częściami miasta: dzielnicą Fabryczną i dzielnicą Starą (Lubelską).
Historia Prywatne miasto szlacheckie Budzin lokowane w 1531 rokuZenon Guldon, Jacek Wijaczka, Skupiska i gminy żydowskie w Polsce do końca XVI wieku, w: Czasy Nowożytne, 21, 2008, s. 157., położone było w drugiej połowie XVI wieku w powiecie urzędowskim w województwie lubelskimWojewództwo lubelskie w drugiej połowie XVI wieku, Warszawa 1966, mapa.
W latach 1867–1939 należał do gminy Dzierzkowice w powiecie janowskim. W Królestwie Polskim przynależała do guberni lubelskiejDziennik Praw, rok 1870, tom 70, a w okresie międzywojennym do województwa lubelskiego. Tam, 14 października 1933 wszedł w skład nowo utworzonej gromady Budzyń w granicach gminy Dzierzkowice, składającej się ze wsi Budzyń, folwarku Budzyń, osady młyńskiej Budzyń i osady Dąbrowa-Gajówka OrdynackaLubelski Dziennik Wojewódzki. 1933, nr. 22, poz. 181..
1 kwietnia 1939 całą gromadę Budzyń włączono do włączono do Kraśnika. Po 1945 w powiecie kraśnickim.