thumb mały Koprolubka łajnowa, łysiczka łajnowa (Protostropharia semiglobata (Batsch) Redhead, Moncalvo & Vilgalys) – gatunek grzybów należący do rodziny pierścieniakowatych (Strophariaceae).
Systematyka i nazewnictwo Pozycja w klasyfikacji według Index Fungorum: Protostropharia, Strophariaceae, Agaricales, Agaricomycetidae, Agaricomycetes, Agaricomycotina, Basidiomycota, Fungi.
Po raz pierwszy takson ten zdiagnozował w 1786 r. August Johann Georg Karl Batsch, nadając mu nazwę Agaricus semiglobatus. Obecną, uznaną przez Index Fungorum nazwę nadali mu w 2013 r. Scott Alan Redhead, Jean-Marc Moncalvo i Rytas J. Vilgalys.
Synonimów ma ponad 20. Niektóre z nich: Psilocybe semiglobata (Batsch) Noordel. 1995 Stropharia semiglobata var. stercoraria (Schumach.) K.-D. Jahnke 1984 Stropharia stercoraria var. minor F.H. Møller 1945 Stropharia stercoraria var. radicata F.H. Møller 1945. Franciszek Błoński w 1890 r. podał polską nazwę nazwę pierścieniak półkulisty, Stanisław Chełchowski w 1898 r. pierścieniak łajnowy, a Władysław Wojewoda w 2003 r. łysiczka łajnowa. Po przeniesieniu tego taksonu do rodzaju Protostropharia wszystkie nazwy polskie stały się niespójne z nazwą naukową. W 2025 r. Komisja ds.