Molen van de polder Groot Lions

De plaatsnaam Leons staat in de Staatsalmanak en bij de Topografische dienst als Nederlandse plaatsaanduiding genoemd. In het postcodeboek wordt de plaats in het Nederlands Lions genoemd.