توسيع إلى أساس (basis, extension to a)

توسيع إلى أساس إذا كان $س_1 , س_2 , \ldots , س_m$ أساسًا لفراغٍ ما، وكانت $ف$ فئةً جزئيّةً من هذا الفراغ تحتوي على متجهاتٍ مستقلَّةٍ خطِّيًّا أكثر من $m$، وكانت $ف$ أساسًا للفراغ الذي تُولِّده بحيث $ف \subseteq س$، فإنَّ $ف$ تُسمَّى توسيعًا للمجموعة $\{س_1 , \ldots , س_m\}$ إلى أساسٍ للفراغ.