Vector bundle/Torsor/Definition