Classification
Tree [regio]Heteroptera [subordo]
Tingidae [familia]
Tinginae [subfamilia]
Ildefonsus [genus]
Genus Ildefonsus Distant, 1911 contains the following taxa:
Ildefonsus distanti C.R. Li & L.Y. Zheng, 2006 [species]
Ildefonsus nexus Drake & Ruhoff, 1961 [species]
Ildefonsus provorsus Distant, 1911 [species]