San Ildefonso or just Ildefonso, is a masculine name, originally from the Gothic language. It is taken from the name Hildefuns meaning "battle ready" (hild "battle" combined with funs "ready"). It is Latinised as Ildephonsus, and it is possible that Alfonso is a variant of this name.
It can refer to: