Genoemd naar het vroeger in die buurt gelegen Pancrasmeertje of Banckensmeer.
Het Pancrasmeertje ontleende zijn naam aan de zuidelijk ervan gelegen Bancken. Het was dus eigenlijk Banckenmeer. Een nog oudere naam voor het meertje is het Papemeertje (reeds in 1356 wordt het genoemd).
In 1843 werd het Pancrasmeer bij de vervening van de Middelpolder opgenomen en is het sedertdien spoorloos verdwenen.