Pavas o Las Pavas es el distrito número 9 del cantón de San José en la provincia homónima. Pavas es el distrito más poblado de Costa Rica (el distrito posee una población mayor que 69 de los 81 cantones, entidad subnacional de mayor orden), pues según el Censo 2011 posee 71.384 habitantes y 19.735 viviendas en un área de 9,34 km2.[1] La altitud promedio del distrito es de 1.044 m.s.n.m., la más baja entre los distritos de San José.[2]Pavas cuenta con importantes urbanizaciones y zonas industriales.