\alpha가 서수일 때 \alpha의 공종도는 \alpha 위에서 비유계인 부분집합의 순서형 중 최소인 것을 말한다. \operatorname{cf}\alpha로 표기하며, 다음 성질들을 만족한다.\operatorname{cf}\alpha = \operatorname{cf}\operatorname{cf}\alpha.f:\alpha\to\beta가 강증가 비유계 함수이면 \operatorname{cf}\alpha=\operatorname{cf}\beta.\operatorname{cf}\alpha는 알레프 수이다.