(X,\mathcal T_1)과 (Y,\mathcal T_2)에 대해\{U\times V\mid U\in \mathcal T_1,\ V\in \mathcal T_2\}X\times Y의 위상을 그 곱위상이라고 한다.\mathcal T_1의 기저 \mathcal B_1과 \mathcal T_2의 기저 \mathcal B_2에 대해\{B_1\times B_2\mid B_i\in\mathcal T_i\}X\times Y의 곱위상의 기저이다.