Subbasis
원소들의 유한교집합으로 집합
X의 위상의 기저를 만들 수 있는
X의 부분집합의 모임이다.
집합 X에 대해 합집합이 X가 되는, 즉 X를 덮는 X의 부분집합의 모임 \\mathcal S를 X의 부분기저라고 한다.
부분기저 \\mathcal S의 원소들의 유한교집합의 모임을 \\mathcal B라 하면, \\mathcal B는 기저가 된다. \\mathcal B로 생성된 X의 위상을 \\mathcal S에 의해 생성된 위상(topology generated by \\mathcal S)이라고 한다.