Matematikerna har sedan länge vant sig vid att vektorrum V över en kropp k har en bas; jämför bas, term i matematiken. Motsvarande påstående är i allmänhet inte sant för moduler M över en ring R. Om en sådan R-modul M har en bas, säger man