[915] Petrogĕton (P. Ekl., Zegh.), Pflanzengattung aus der Familie der Crassulaceae Eucrassuleae Zeyh; Arten, gehören zu Crassula Haw.