블로그에서 사용한 용어들을 정리해둔 페이지입니다. 한글용어와 영문용어 중, 주로 사용할 것에 체크 (☑) 표시를 해 두었습니다.

A

영문 용어	한글 용어	정의	참고
abelian category ☑	아벨 카테고리	[호몰로지 대수학] §호몰로지
abelian group ☑	가환군	[대수적 구조] §준군, 모노이드, 군 [선형대수학] §가환군과 체	Group
additive category ☑	덧셈 카테고리	[호몰로지 대수학] §호몰로지
algebraic multiplicity	대수적 중복도 ☑	[선형대수학] §특성다항식
alternating ☑	교대적	[선형대수학] §쌍선형형식 [선형대수학] §행렬식
antisymmetric ☑	반대칭적	[집합론] §순서관계의 정의	Relation, Order relation
associative law	결합법칙 ☑	[집합론] §합집합과 교집 [선형대수학] §가환군과 체 [대수적 구조] §대수적 구조
asymmetric ☑	비대칭적	[집합론] §순서관계의 정의	Order relation
atlas ☑	좌표첩	[미분다양체] §미분다양체
axiom	공리 ☑	[집합론] §ZFC 공리계
axiom of choice	선택공리 ☑	[집합론] §선택공리	ZFC system
axiom of existence ☑	존재 공리	[집합론] §ZFC 공리계	ZFC system
axiom of extensionality ☑	외연 공리	[집합론] §ZFC 공리계	ZFC system
axiom of infinity ☑	무한 공리	[집합론] §서수와 정렬집합
axiom of pair ☑	짝 공리	[집합론] §ZFC 공리계	ZFC system
axiom of power set ☑	멱집합 공리	[집합론] §ZFC 공리계	ZFC system
axiom of union ☑	합집합 공리	[집합론] §ZFC 공리계	ZFC system
axiom schema of comprehension ☑	분류 공리꼴	[집합론] §ZFC 공리계	ZFC system
axiom schema of replacement ☑	치환 공리꼴	[집합론] §서수들 사이의 순서관계
axiomatic system	공리계 ☑	[집합론] §ZFC 공리계	ZFC system

B

영문 용어	한글 용어	정의	참고
base space ☑	기저공간	[미분다양체] §접다발과 여접다발
basis ☑	기저	[선형대수학] §벡터공간의 기저 (기저) [위상수학] §위상공간의 기저
bijective	전단사 ☑	[집합론] §함수들 사이의 연산	Function, Injective, Surjective
bilinear ☑	이중선형	[선형대수학] §쌍대공간
bilinear form ☑	쌍선형형식	[선형대수학] §쌍대공간
binary operation	이항연산 ☑	[대수적 구조] §대수적 구조
binary relation	이항관계 ☑	[집합론] §이항관계
block matrix	블록행렬 ☑	[선형대수학] §행렬
boundary ☑	경계	[위상수학] §집합의 내부, 폐포, 경계 [호몰로지 대수학] §호몰로지
bounded ☑	유계	[집합론] §순서집합의 원소들
bounded above ☑	위로 유계	[집합론] §순서집합의 원소들
bounded below ☑	아래로 유계	[집합론] §순서집합의 원소들
bundle map ☑	벡터다발 준동형사상	[미분다양체] §접다발과 여접다발

C

영문 용어	한글 용어	정의	참고
canonical decomposition ☑	표준분해	[집합론] §동치관계의 예시들 (함수)
canonical injection ☑	포함관계로부터 유도된 단사함수	[집합론] §함수들 사이의 연산	Function, Injective
canonical projection ☑	동치관계로부터 유도된 전사함수	[집합론] §동치관계
cardinal ☑	기수	[집합론] §기수
cartesian product ☑	데카르트 곱	[집합론] §순서쌍
category	카테고리 ☑	[범주론] §카테고리
chain complex ☑	사슬복합체	[호몰로지 대수학] §완전열
chain homotopy ☑	사슬 호모토피	[호몰로지 대수학] §사슬 호모토피
chain map ☑	사슬사상	[호몰로지 대수학] §호몰로지
characteristic function	특성함수 ☑	[집합론] §자연수와 무한집합
characteristic ☑	표수	[선형대수학] §쌍선형형식
characteristic polynomial	특성다항식 ☑	[선형대수학] §특성다항식
choice function ☑	선택함수	[집합론] §선택공리
Christoffel symbol ☑	크리스토펠 심볼	[미분기하학] §접속
closed	닫힌 ☑	[집합론] §유향집합 (interval) [집합론] §필터와 아이디얼, 갈루아 대응 (lattice) [위상수학] §집합의 내부, 폐포, 경계
closure ☑	폐포	[위상수학] §집합의 내부, 폐포, 경계
closure operator ☑	폐포 연산자	[집합론] §필터와 아이디얼, 갈루아 대응
coarser ☑	더 엉성한	[집합론] §집합의 합 (covering) [집합론] §동치관계 (동치관계)	Finer
cochain complex ☑	사슬복합체
cofactor expansion ☑	여인자전개	[선형대수학] §행렬식의 존재성과 유일성
cokernel ☑	여핵	[호몰로지 대수학] §완전열
coset ☑	잉여류	[대수적 구조] §몫군
cotangent bundle ☑	여접다발	[미분다양체] §접다발과 여접다발
cotangent space ☑	여접공간	[미분다양체] §여접공간
commutative diagram ☑	가환그림	[집합론] §함수	Diagram
commutative law	교환법칙 ☑	[선형대수학] §가환군과 체 [대수적 구조] §대수적 구조
comparable ☑	비교가능한	[집합론] §유향집합
compatible ☑	양립할 수 있는	[집합론] §함수 (함수) [집합론] §동치관계의 예시들 (동치관계) [대수적 구조] §대수적 구조 (이항연산)
complement set	여집합 ☑	[집합론] §ZFC 공리계
complete ☑	완전	[집합론] §유향집합 (lattice) [미분다양체] §벡터장 (벡터장)
composition	합성 ☑	[집합론] §이항관계들 사이의 연산
connection ☑	접속	[미분기하학] §접속
constant function	상수함수 ☑	[집합론] §함수	Function
continuous	연속 ☑	[위상수학] §연속함수
continuum hypothesis	연속체가설 ☑	[집합론] §기수
countable ☑	가산	[집합론] §자연수와 무한집합
covariant derivative ☑	공변미분	[미분기하학] §접속
covector ☑	여벡터	[미분다양체] §미분사상의 예시들
covering ☑	덮개	[집합론] §집합의 합 (집합)
cycle ☑	사이클	[호몰로지 대수학] §호몰로지

D

영문 용어	한글 용어	정의	참고
de Morgan's law	드 모르간 법칙 ☑	[집합론] §합집합과 교집합
decreasing	감소 ☑	[집합론] §단조함수 (순서관계)
delta functor ☑	델타 함자	[호몰로지 대수학] §Delta functor
dense ☑	조밀	[위상수학] §집합의 내부, 폐포, 경계
determinant	행렬식 ☑	[선형대수학] §행렬식
diagonal ☑	대각집합	[집합론] §이항관계들 사이의 연산
diagonal matrix	대각행렬 ☑	[선형대수학] §행렬
diagonalizable	대각화가능 ☑	[선형대수학] §대각화
diagonalization	대각화 ☑	[선형대수학] §대각화
diagram ☑	그림	[집합론] §함수
diffeomorphism ☑	미분동형사상	[미분다양체] §미분사상
differentiable manifold ☑	미분다양체	[미분다양체] §미분다양체
differentiable structure ☑	미분다양체	[미분다양체] §미분다양체
differential ☑	미분사상	[미분다양체] §미분사상
differential form ☑	미분형식	[미분다양체] §미분형식
dimension	차원 ☑	[선형대수학] §벡터공간의 차원
direct limit (injective limit) ☑	직접극한 (귀납적극한)	[집합론] §극한
direct product ☑	직접곱	[대수적 구조] §군의 직접곱
direct system ☑	유향체계	[집합론] §극한
direct sum ☑	직합	[선형대수학] §고유공간분해
directed ☑	유향	[집합론] §유향집합
discrete topology ☑	이산위상	[위상수학] §열린집합
disjoint ☑	서로소	[집합론] §집합의 합
disjoint union	분리합집합 ☑	[집합론] §집합의 합
distributive law	분배법칙 ☑	[집합론] §곱집합의 성질 [대수적 구조] §환의 정의
domain	정의역 ☑	[집합론] §함수
double complex ☑	이중사슬복합체	[호몰로지 대수학] §호몰로지
double dual ☑	이중쌍대	[선형대수학] §쌍대공간
dual map ☑	쌍대사상	[선형대수학] §쌍대공간
dual space ☑	쌍대공간	[선형대수학] §선형사상들의 공간

E

영문 용어	한글 용어	정의	참고
eigenspace	고유공간 ☑	[선형대수학] §특성다항식
eigenvalue	고윳값 ☑	[선형대수학] §특성다항식
eigenvalue	고유벡터 ☑	[선형대수학] §특성다항식
elementary row operation	기본행연산 ☑	[선형대수학] §가우스 소거법
embedding ☑	매장	[미분다양체] §부분다양체와 역함수 정리
empty set	공집합 ☑	[집합론] §ZFC 공리계
epimorphism ☑		[[범주론] §쌍대성]
equipotent ☑	대등	[집합론] §기수
equivalence class ☑	동치류	[집합론] §동치관계	Partition
equivalence relation	동치관계 ☑	[집합론] §동치관계	Binary relation
Euclidean space	유클리드 공간 ☑	[선형대수학] §벡터공간
evaluation map ☑	값매김사상	[선형대수학] §쌍대공간
exact sequence ☑	완전열	[호몰로지 대수학] §완전열
extension ☑	확장	[집합론] §함수
exterior ☑	외부	[위상수학] §집합의 내부, 폐포, 경계
exterior algebra ☑	대칭대수	[다중선형대수] §대칭대수와 외대수
exterior bundle ☑	외다발	[미분다양체] §미분형식
exterior derivative ☑	외미분	[미분다양체] §미분형식

F

영문 용어	한글 용어	정의	참고
family of sets ☑	집합족	[집합론] §합집합과 교집합
field ☑	체	[선형대수학] §가환군과 체
filter ☑	필터	[집합론] §필터와 아이디얼, 갈루아 대응
final topology ☑	종 위상
finer ☑	더 섬세한	[집합론] §집합의 합 (covering)	Coarser
finite	유한 ☑	[집합론] §자연수와 무한집합
finite support ☑	유한지지	[선형대수학] §부분공간
frame ☑	틀	[미분다양체] §벡터장
function	함수 ☑	[집합론] §함수
functional ☑	범함수	[선형대수학] §선형사상들의 공간 (linear functional)
fundamental theorem of linear algebra	선형대수학의 기본정리 ☑	[선형대수학] §선형대수학의 기본정리

G

영문 용어	한글 용어	정의	참고
Gaussian elimination	가우스 소거법 ☑	[선형대수학] §가우스 소거법
Galois connection ☑	갈루아 연결	[집합론] §필터와 아이디얼, 갈루아 대응
Galois correspondence ☑	갈루아 대응	[집합론] §필터와 아이디얼, 갈루아 대응
general linear group ☑	일반선형군	[선형대수학] §행렬
geometric multiplicity	기하적 중복도 ☑	[선형대수학] §특성다항식
graduation ☑	등급	[다중선형대수] §등급구조
graded homomorphism ☑	등급준동형사상	[다중선형대수] §등급대수
graded ideal ☑	등급 아이디얼	[다중선형대수] §등급대수
Gram matrix ☑	그람 행렬	[선형대수학] §쌍선형형식
Gram-Schmidt process	Gram-Schmidt 과정 ☑	[선형대수학] §내적공간
graph	그래프 ☑
greatest ☑	최대	[집합론] §순서집합의 원소들
Grothendieck group ☑	그로텐디크 군	[대수적 구조] §Grothendieck 군
group ☑	군	[대수적 구조] §준군, 모노이드, 군

H

영문 용어	한글 용어	정의	참고
Hessian ☑	헤시안	[미분기하학] §접속
homeomorphism ☑	위상동형사상	[위상수학] §연속함수
homomorphism ☑	준동형사상	[대수적 구조] §대수적 구조
homology ☑	호몰로지	[호몰로지 대수학] §호몰로지

I

영문 용어	한글 용어	정의	참고
ideal ☑	아이디얼	[집합론] §필터와 아이디얼, 갈루아 대응 (lattice) [대수적 구조] §환의 정의 (Ring)
identity element	항등원 ☑	[대수적 구조] §준군, 모노이드, 군
identity function	항등함수 ☑	[집합론] §이항관계들 사이의 연산	Function
image ☑	상	[집합론] §이항관계 (함수) [선형대수학] §선형사상 (linear map)
immersion ☑	몰입	[미분다양체] §부분다양체와 역함수 정리
increasing	증가 ☑	[집합론] §단조함수 (순서관계)
index ☑	인덱스	[대수적 구조] §몫군
index set ☑	첨수집합	[집합론] §함수	Function, Family of sets
infimum (greatest lower bound) ☑	하한 (최대하계)	[집합론] §순서집합의 원소들
infinite	무한 ☑	[집합론] §자연수와 무한집합
initial ordinal ☑	정초서수	[집합론] §서수들 사이의 순서관계
initial topology ☑	정초위상	[위상수학] §Initial topology와 final topology
injective	단사 ☑	[집합론] §함수들 사이의 연산	Function
inner product	내적 ☑	[선형대수학] §쌍선형형식
inner product space	내적공간 ☑	[선형대수학] §쌍선형형식
integral flow ☑	적분곡선	[미분다양체] §벡터장
interior ☑	내부	[위상수학] §집합의 내부, 폐포, 경계
interior multiplication ☑	내부곱	[미분다양체] §미분형식
intersection	교집합 ☑	[집합론] §ZFC 공리계 [집합론] §합집합과 교집합
interval	구간 ☑	[집합론] §유향집합
inverse	역 ☑	[집합론] §이항관계들 사이의 연산 (이항관계) [집합론] §함수들 사이의 연산 (함수) [대수적 구조] §준군, 모노이드, 군
inverse element	역원 ☑	[선형대수학] §가환군과 체
inverse limit (projective limit)☑	역극한 (사영극한)	[집합론] §극한
inverse matrix	역행렬 ☑	[선형대수학] §역행렬
inverse system ☑	역향체계	[집합론] §극한
invertible matrix	가역행렬 ☑	[선형대수학] §행렬
isomorphism ☑	동형사상	[선형대수학] §동형사상 [대수적 구조] §대수적 구조
isolated point ☑	고립점	[위상수학] §집합의 내부, 폐포, 경계

J

영문 용어	한글 용어	정의	참고
join ☑	이음	[집합론] §유향집합

K

영문 용어	한글 용어	정의	참고
kernel ☑	핵	[선형대수학] §선형사상 [대수적 구조] §준동형사상

L

영문 용어	한글 용어	정의	참고
lattice ☑	격자	[집합론] §유향집합
least ☑	최소	[집합론] §순서집합의 원소들
least squares method	최소제곱법 ☑	[선형대수학] §최소제곱법
Lie bracket ☑	리 브라켓	[미분다양체] §리 미분
Lie derivative ☑	리 미분	[미분다양체] §리 미분
limit ordinal ☑	극한서수	[집합론] §정렬집합의 성질들
limit point ☑	극한점	[위상수학] §집합의 내부, 폐포, 경계
linear map ☑	선형사상	[선형대수학] §선형사상
linear combination	일차결합 ☑	[선형대수학] §부분공간
linearly dependent	일차독립 ☑	[선형대수학] §벡터공간의 기저
linearly independent	일차종속 ☑	[선형대수학] §벡터공간의 기저
local basis ☑	국소기저	[위상수학] §위상공간의 기저
local trivialization ☑	국소적 자명화	[미분다양체] §접다발과 여접다발
locally closed ☑	국소적으로 닫힌	[위상수학] §몫공간
locally finite ☑	국소적으로 유한	[위상수학] §집합의 내부, 폐포, 경계
locally small category	국소적으로 작은 카테고리 ☑	[범주론] §카테고리
long exact sequence ☑	긴 완전열	[호몰로지 대수학] §호몰로지
lower bound ☑	하계	[집합론] §순서집합의 원소들
lower set ☑	하집합	[집합론] §필터와 아이디얼, 갈루아 대응

M

영문 용어	한글 용어	정의	참고
magma	마그마 ☑	[대수적 구조] §대수적 구조
mapping cone ☑		[호몰로지 대수학] §Mapping cone
matrix	행렬 ☑	[선형대수학] §행렬
maximal ☑	극대	[집합론] §순서집합의 원소들
meet ☑	만남	[집합론] §유향집합
minimal ☑	극소	[집합론] §순서집합의 원소들
monoid ☑	모노이드	[대수적 구조] §준군, 모노이드, 군
monomorphism ☑		[[범주론] §쌍대성]
monotone	단조 ☑	[집합론] §단조함수
morphism ☑	사상	[범주론] §카테고리
multilinear map ☑	다중선형사상	[선형대수학] §행렬식
musical isomorphism ☑	음악 동형사상	[미분기하학] §리만 계량
mutually disjoint ☑	쌍마다 서로소	[집합론] §집합의 합	Disjoint

N

영문 용어	한글 용어	정의	참고
neighborhood	근방 ☑	[위상수학] §열린집합
neighborhood filter	근방필터 ☑	[위상수학] §위상공간의 다른 정의들
nondegenerate ☑	비퇴화	[선형대수학] §쌍대공간 (pairing) [선형대수학] §쌍선형형식 (bilinear form)
norm ☑	노름	[선형대수학] §내적공간
normal bundle ☑	법다발	[미분다양체] §리만계량
normal subgroup ☑	정규부분군	[대수적 구조] §몫군
nullity ☑	영공간의 차원	[선형대수학] §동형사상

O

영문 용어	한글 용어	정의	참고
object	대상 ☑	[범주론] §카테고리
one-parameter group ☑	단일매개변수군	[미분다양체] §벡터장
open neighborhood	열린근방 ☑	[위상수학] §열린집합
open set	열린집합 ☑	[위상수학] §열린집합
opposite category ☑	반대 카테고리	[[범주론] §쌍대성]
order isomorphism☑	순서동형사상	[집합론] §순서관계의 정의
order relation ☑	순서관계	[집합론] §순서관계의 정의	Relation, Order relation
ordered pair	순서쌍 ☑	[집합론] §순서쌍
ordinal ☑	서수	[집합론] §정렬집합의 성질들
orthogonal basis ☑	직교기저	[선형대수학] §내적공간
orthogonal complement ☑	직교여공간	[선형대수학] §쌍대공간
orthogonal basis ☑	직교행렬	[선형대수학] §내적공간
orthonormal basis ☑	정규직교기저	[선형대수학] §내적공간

P

영문 용어	한글 용어	정의	참고
pairing ☑	쌍	[선형대수학] §쌍대공간
parallelizable ☑	평행적	[미분다양체] §접다발과 여접다발
parallelogram law	평행사변형 법칙 ☑	[선형대수학] §내적공간
partial product	부분곱 ☑	[집합론] §곱집합의 성질
partition	분할 ☑	[집합론] §집합의 합
partition of unity ☑	단위분할	[미분다양체] §미분다양체
Peano axiom	페아노 공리 ☑	[집합론] §서수와 정렬집합
permutation ☑	치환	[선형대수학] §행렬식의 존재성과 유일성
power set	멱집합 ☑	[집합론] §ZFC 공리계
preimage ☑	역상	[집합론] §이항관계들 사이의 연산 [집합론] §동치관계의 예시들 (동치관계)
preorder relation ☑	원순서관계	[집합론] §순서관계의 정의	Order relation
presheaf ☑	준층	[대수기하학] §준층
product	곱 ☑	[집합론] §집합의 곱 (집합) [집합론] §곱집합의 성질 (함수) [집합론] §동치관계의 예시들 (동치관계) [집합론] §단조함수 (순서관계) [집합론] §기수들 사이의 연산 (cardinal) [미분다양체] §미분다양체의 예시들 (manifold) [위상수학] §곱공간 [대수적 구조] §대수적 구조
projection ☑	사영	[집합론] §순서쌍 (순서쌍) [집합론] §집합의 곱 (집합)
projection theorem ☑	사영정리	[선형대수학] §내적공간
pseudoinverse ☑	유사역행렬	[선형대수학] §최소제곱법
pullback ☑	당김	[미분다양체] §미분형식

Q

영문 용어	한글 용어	정의	참고
quasi-isomorphism ☑		[호몰로지 대수학] §사슬 호모토피
quotient ☑	몫	[집합론] §동치관계의 예시들 (동치관계)
quotient magma ☑	몫마그마	[대수적 구조] §대수적 구조
quotient group ☑	몫군	[대수적 구조] §몫군
quotient set ☑	몫집합	[집합론] §동치관계	Equivalence class
quotient space ☑	몫공간	[위상수학] §몫공간

R

영문 용어	한글 용어	정의	참고
rank ☑	랭크	[선형대수학] §동형사상 (linear map) [미분다양체] §접다발과 여접다발 (vector bundle)
recursion theorem ☑	재귀정리	[집합론] §서수와 정렬집합
reduced row échelon matrix	기약행사다리꼴행렬 ☑	[선형대수학] §가우스 소거법
reflexive ☑	반사적	[집합론] §동치관계	Binary relation
relation	관계 ☑	[집합론] §이항관계
restriction ☑	제한	[집합론] §함수 (함수) [집합론] §단조함수 (순서관계)
retraction ☑	수축	[집합론] §Retraction과 section	Section
Riemannian metric ☑	리만 계량	[미분기하학] §리만 계량
ringed space ☑	환 달린 공간	[대수기하학] §아핀 스킴
row échelon matrix	행사다리꼴행렬 ☑	[선형대수학] §가우스 소거법
Russell's paradox	러셀의 역설 ☑	[집합론] §ZFC 공리계

S

영문 용어	한글 용어	정의	참고
saturated ☑	포화된	[집합론] §동치관계의 예시들 (동치관계)
saturation ☑	포화	[집합론] §동치관계의 예시들
scalar	스칼라 ☑	[선형대수학] §벡터공간
section ☑	단면	[집합론] §이항관계 [집합론] §Retraction과 section [미분다양체] §벡터장	Retraction
segment ☑	절편	[집합론] §서수와 정렬집합
semigroup ☑	준군	[대수적 구조] §준군, 모노이드, 군
sheaf ☑	층	[대수기하학] §층
sheafification ☑	층화	[대수기하학] §층
similar matrix	닮은 행렬 ☑	[선형대수학] §기저변환
singular matrix ☑	특이행렬	[선형대수학] §행렬
slice ☑	조각	[미분다양체] §음함수 정리
small category	작은 카테고리 ☑	[범주론] §카테고리
smooth functor ☑	매끄러운 함자	[미분다양체] §접다발과 여접다발
snake lemma ☑	뱀 보조정리	[호몰로지 대수학] §완전열
source ☑	소스	[집합론] §이항관계
span ☑	생성	[선형대수학] §벡터공간의 기저
spanning set ☑	생성집합	[선형대수학] §벡터공간의 기저
spectrum ☑	스펙트럼	[선형대수학] §특성다항식
split ☑	분해	[호몰로지 대수학] §완전열
stalk ☑	줄기	[대수기하학] §준층
strict ordering ☑	강한 순서관계	[집합론] §순서관계의 정의	Order relation
strictly decreasing	순감소 ☑	[집합론] §단조함수 (순서관계)
strictly increasing	순증가 ☑	[집합론] §단조함수 (순서관계)
strictly monotone	순단조 ☑	[집합론] §단조함수 (순서관계)
subbasis ☑	부분기저	[위상수학] §위상공간의 기저
subcategory	부분카테고리 ☑	[범주론] §카테고리
subgroup ☑	부분군	[대수적 구조] §준군, 모노이드, 군
submagma	부분마그마 ☑	[대수적 구조] §대수적 구조
submonoid ☑	부분모노이드	[대수적 구조] §준군, 모노이드, 군
submanifold ☑	부분다양체	[미분다양체] §미분다양체의 예시들
submersion ☑	침몰	[미분다양체] §부분다양체와 역함수 정리
subring ☑	부분환	[대수적 구조] §환의 정의
subspace	부분공간 ☑	[선형대수학] §부분공간 [위상수학] §부분공간
successor ☑	따름	[집합론] §서수와 정렬집합
successor ordinal ☑	따름서수	[집합론] §정렬집합의 성질들
sum	합 ☑	[집합론] §집합의 합 (집합) [집합론] §기수들 사이의 연산
surjective	전사 ☑	[집합론] §함수들 사이의 연산	Function
support ☑	지지집합	[선형대수학] §부분공간
supremum (least upper bound) ☑	상한 (최소상계)	[집합론] §순서집합의 원소들
symmetric ☑	대칭적	[집합론] §동치관계 (관계) [선형대수학] §쌍선형형식 (bilinear form)
symmetric algebra ☑	대칭대수	[다중선형대수] §대칭대수와 외대수
symmetric group ☑	대칭군
set difference	차집합 ☑	[집합론] §ZFC 공리계

T

영문 용어	한글 용어	정의	참고
tangent bundle ☑	접다발	[미분다양체] §접다발과 여접다발
tangent space ☑	접공간	[미분다양체] §접공간
tangent vector ☑	접벡터	[미분다양체] §접공간
target ☑	타겟	[집합론] §이항관계
tensor algebra ☑	다중선형대수	[다중선형대수] §다중선형대수
tensor bundle ☑	텐서다발	[미분다양체] §미분형식
tensor field ☑	텐서장	[미분다양체] §미분형식
topological space	위상공간 ☑	[위상수학] §열린집합
topologically distinguishable	위상적으로 구별가능 ☑	[위상수학] §열린집합
topologically indistinguishable	위상적으로 구별불가능 ☑	[위상수학] §열린집합
topology	위상 ☑	[위상수학] §열린집합
total space ☑	전체공간	[미분다양체] §접다발과 여접다발
totally ordered set ☑	전순서집합	[집합론] §유향집합
trace ☑	대각합	[선형대수학] §행렬
transition map ☑	좌표변환사상	[미분다양체] §미분다양체
transition matrix	기저변환행렬 ☑	[선형대수학] §기저변환
transitive ☑	추이적	[집합론] §동치관계	Binary relation
transpose matrix	전치행렬 ☑	[선형대수학] §행렬
transposition ☑	호환
triangular matrix	삼각행렬 ☑	[선형대수학] §행렬식의 존재성과 유일성
trivial topology ☑	자명한 위상	[위상수학] §열린집합
trivial vector space ☑	자명한 벡터공간	[선형대수학] §벡터공간

U

영문 용어	한글 용어	정의	참고
ultrafilter ☑	울트라필터	[집합론] §필터와 아이디얼, 갈루아 대응
unary relation	단항관계 ☑	[집합론] §동치관계의 예시들
union	합집합 ☑	[집합론] §ZFC 공리계 [집합론] §합집합과 교집합	Intersection
unique up to	...에 대하여 유일하다 ☑	[집합론] §집합의 합 (전단사함수)
universal property ☑	보편성질 ☑	[집합론] §집합의 합
upper bound ☑	상계	[집합론] §순서집합의 원소들
upper set ☑	상집합	[집합론] §필터와 아이디얼, 갈루아 대응

V

영문 용어	한글 용어	정의	참고
vector	벡터 ☑	[선형대수학] §벡터공간
vector bundle ☑	벡터다발	[미분다양체] §접다발과 여접다발
vector field	벡터장 ☑	[미분다양체] §벡터장
vector space	벡터공간 ☑	[선형대수학] §벡터공간
velocity vector	속도벡터 ☑	[미분다양체] §미분사상의 예시들

W

영문 용어	한글 용어	정의	참고
well-ordering ☑	정렬순서	[집합론] §서수와 정렬집합

X

| 영문 용어 | 한글 용어 | 정의 | 참고 | | — | — | — | — |

Y

| 영문 용어 | 한글 용어 | 정의 | 참고 | | — | — | — | — |

Z

영문 용어	한글 용어	정의	참고
ZFC system	ZFC 공리계 ☑	§ZFC 공리계
Zorn's lemma ☑	초른의 보조정리	[집합론] §선택공리