Appendix B 표기법 용어집

B.1 일반

•

$\forall$ : 모든
•

$\exists$ : 존재한다
•

$\operatorname{sign}(\sigma)$ : 순열 $\sigma$ 의 부호
•

$X\implies Y$ : $X$ 는 $Y$ 를 함의합니다

B.2 함수와 집합

•

$f^{\text{img}}(S)$ 는 $S\subseteq X$ 일 때 $f\colon X\to Y$ 에 의한 상입니다.
•

$f^{-1}(y)$ 는 $y\in Y$ 일 때 $f\colon X\to Y$ 의 역입니다.
•

$f^{\text{pre}}(T)$ 는 $T\subseteq Y$ 일 때 $f\colon X\to Y$ 의 원상입니다.
•

$f{\restriction_{S}}$ 는 $f\colon X\to Y$ 를 $S\subseteq X$ 로 제한한 것입니다.
•

$f^{n}$ 은 함수 $f$ 를 $n$ 번 적용한 함수입니다

아래는 몇 가지 흔한 집합입니다. 이들은 자명한 방식으로 군, 환, 체 등으로도 생각할 수 있습니다.

•

$\mathbb{C}$ : 복소수의 집합
•

$\mathbb{R}$ : 실수의 집합
•

$\mathbb{N}$ : 양의 정수의 집합
•

$\mathbb{Q}$ : 유리수의 집합
•

$\mathbb{Z}$ : 정수의 집합
•

$\varnothing$ : 공집합

집합에 관한 몇 가지 흔한 표기법:

•

$A\subset B$ : $A$ 는 $B$ 의 임의의 부분집합입니다
•

$A\subseteq B$ : $A$ 는 $B$ 의 임의의 부분집합입니다
•

$A\subsetneq B$ : $A$ 는 $B$ 의 진부분집합입니다
•

$S\times T$ : 집합 $S$ 와 $T$ 의 데카르트 곱
•

$S\setminus T$ : 집합 $S$ 와 $T$ 의 차집합
•

$S\cup T$ : $S$ 와 $T$ 의 합집합
•

$S\cap T$ : $S$ 와 $T$ 의 교집합
•

$S\sqcup T$ : $S$ 와 $T$ 의 분리 합집합
•

$\left\lvert S\right\rvert$ : $S$ 의 농도
•

$S/{\sim}$ : $\sim$ 가 $S$ 위의 동치 관계라면, 이는 동치류들의 집합입니다.
•

$x+S$ : 집합 $\{x+s\mid s\in S\}$ 를 나타냅니다.
•

$x S$ : 집합 $\{xs\mid s\in S\}$ 를 나타냅니다.

B.3 추상대수학과 선형대수학

몇 가지 흔한 군/환/체:

•

$\mathbb{Z}/n\mathbb{Z}$ : 위수 $n$ 인 순환군
•

$(\mathbb{Z}/n\mathbb{Z})^{\times}$ : $\mathbb{Z}/n\mathbb{Z}$ 의 단원들의 집합입니다.
•

$S_{n}$ : $\{1,\dots,n\}$ 위의 대칭군
•

$D_{2n}$ : 위수 $2n$ 인 이면체군입니다.
•

$0$ , $1$ : 자명군 (문맥에 따라 다름)
•

$\mathbb{F}_{p}$ : $p$ 를 법으로 하는 정수

군에 관한 표기법:

•

$1_{G}$ : 군 $G$ 의 항등원
•

$N\trianglelefteq G$ : 부분군 $N$ 이 $G$ 의 정규 부분군임을 나타냅니다.
•

$G/N$ : 정규 부분군 $N$ 에 의한 $G$ 의 몫군
•

$Z(G)$ : 군 $G$ 의 중심
•

$N_{G}(H)$ : $G$ 의 부분군 $H$ 의 정규화군
•

$G\times H$ : $G$ 와 $H$ 의 곱군
•

$G\oplus H$ : 이 또한 곱군이지만, $G$ 와 $H$ 가 아벨 군일 때(따라서 이들을 $\mathbb{Z}$ -가군으로 생각할 수 있을 때) 자주 사용됩니다.
•

$\operatorname{Stab}_{G}(x)$ : $X$ 가 $G$ 의 작용을 받는 경우, $x\in X$ 의 안정화 부분군
•

$\operatorname{FixPt}g$ , (군의 작용 아래) $g\in G$ 에 의한 고정점들의 집합

환에 관한 표기법:

•

$R/I$ : 환 $R$ 을 아이디얼 $I$ 로 나눈 몫
•

$(a_{1},\dots,a_{n})$ : $a_{i}$ 들로 생성된 아이디얼
•

$R^{\times}$ : $R$ 의 단원군
•

$R[x_{1},\dots,x_{n}]$ : $x_{i}$ 들에 대한 다항식환, 즉 $R$ 에 $x_{i}$ 들을 첨가하여 얻은 환
•

$F(x_{1},\dots,x_{n})$ : $F$ 에 $x_{i}$ 들을 첨가하여 얻은 체
•

$R^{d}$ : 등급 (유사)환 $R$ 의 $d$ 번째 등급 부분

선형대수학:

•

$\mathrm{id}$ : 항등행렬
•

$V\oplus W$ : 직합
•

$V^{\oplus n}$ : $V$ 의 $n$ 개 직합
•

$V\otimes W$ : 텐서곱
•

$V^{\otimes n}$ : $V$ 의 $n$ 개 텐서곱
•

$V^{\vee}$ : 쌍대 공간
•

$T^{\vee}$ : ( $T$ 가 선형 사상일 때) 쌍대 사상
•

$T^{\dagger}$ : ( $T$ 가 선형 사상일 때) 켤레 전치
•

$\left<-,-\right>$ : 쌍선형 형식
•

$\mathrm{Mat}(V)$ : $V$ 의 자기준동형사상, 즉 $\operatorname{Hom}_{k}(V,V)$
•

$\mathbf{e}_{1}$ , …, $\mathbf{e}_{n}$ : $k^{\oplus n}$ 의 “표준 기저”

B.4 양자 계산

•

$\ket{\psi}$ : 어떤 벡터 공간 $H$ 의 벡터
•

$\bra{\psi}$ : $\ket{\psi}$ 에 쌍대인, 어떤 벡터 공간 $H^{\vee}$ 의 벡터.
•

$\braket{\phi}{\psi}$ : $\bra{\phi}\in H^{\vee}$ 의 원소를 $\ket{\psi}\in H$ 에서 평가한 값입니다.
•

$\ket{\uparrow}$ , $\ket{\downarrow}$ : 스핀 $z$ -업, 스핀 $z$ -다운
•

$\ket{\rightarrow}$ , $\ket{\leftarrow}$ : 스핀 $x$ -업, 스핀 $x$ -다운
•

$\ket{\otimes}$ , $\ket{\odot}$ : 스핀 $y$ -업, 스핀 $y$ -다운

B.5 위상수학과 실/복소 해석학

흔히 쓰이는 위상 공간들:

•

$S^{1}$ : 단위원
•

$S^{n}$ : $n$ -구의 표면( $\mathbb{R}^{n+1}$ 안에서)
•

$D^{n+1}$ : 닫힌 $n+1$ 차원 공( $\mathbb{R}^{n+1}$ 안에서)
•

$\mathbb{RP}^{n}$ : 실 사영 $n$ -공간
•

$\mathbb{CP}^{n}$ : 복소 사영 $n$ -공간

몇 가지 위상수학적 표기법:

•

$\partial Y$ : (어떤 위상 공간 안에서) 집합 $Y$ 의 경계
•

$X/S$ : $S\subseteq X$ 에 의한 $X$ 의 몫위상
•

$X\times Y$ : 공간 $X$ 와 $Y$ 의 곱위상
•

$X\amalg Y$ : 공간 $X$ 와 $Y$ 의 분리합집합
•

$X\vee Y$ : (점을 가진) 공간 $X$ 와 $Y$ 의 쐐기곱

실해석학(미적분학 개론):

•

$\liminf$ : 하극한
•

$\limsup$ : 상극한
•

$\inf$ : 하한
•

$\sup$ : 상한
•

$\mathbb{Z}_{p}$ : $p$ 진 정수
•

$\mathbb{Q}_{p}$ : $p$ 진 수
•

$f^{\prime}$ : $f$ 의 도함수
•

$\int_{a}^{b}f(x)\;dx$ : $[a,b]$ 에서 $f$ 의 리만 적분

복소해석학:

•

$\int_{\alpha}f\;dz$ : 경로 $\alpha$ 를 따른 $f$ 의 경로 적분
•

$\operatorname{Res}(f;p)$ : 유리형 함수 $f$ 의 점 $p$ 에서의 유수
•

$\operatorname{\mathbf{I}}(\gamma,p)$ : $p$ 를 중심으로 한 $\gamma$ 의 감김수

B.6 측도론과 확률론

•

$\mathscr{A}^{\text{cm}}$ : Carathéodory-측정 가능 집합들의 $\sigma$ -대수
•

$\mathscr{B}(X)$ : $X$ 에 대한 보렐 공간
•

$\mu^{\text{cm}}$ : $\mathscr{A}^{\text{cm}}$ 위에서 유도된 측도
•

$\lambda$ : 르베그 측도
•

$\mathbf{1}_{A}$ : $A$ 의 지시함수
•

$\int_{\Omega}f\;d\mu$ : $f$ 의 르베그 적분
•

$\lim_{n\to\infty}f_{n}$ : $f_{n}$ 의 점별 극한
•

$\widehat{G}$ : $G$ 의 폰트랴긴 쌍대

B.7 대수적 위상수학

•

$\alpha\simeq\beta$ : 경로에 대해, 이는 경로 호모토피를 나타냄
•

$\ast$ : 경로 이음
•

$\pi_{1}(X)=\pi_{1}(X,x_{0})$ : (점을 가진) 공간 $X$ 의 기본군
•

$\pi_{n}(X)=\pi_{n}(X,x_{0})$ : (점을 가진) 공간 $X$ 의 $n$ 번째 호모토피 군
•

$f_{\sharp}$ : $f\colon X\to Y$ 에 의해 유도된 사상 $\pi_{1}(X)\to\pi_{1}(Y)$
•

$\Delta^{n}$ : 표준 $n$ -단체
•

$\partial\sigma$ : 특이 $n$ -단체 $\sigma$ 의 경계
•

$H_{n}(A_{\bullet})$ : 사슬 복합체 $A_{\bullet}$ 의 $n$ 번째 호몰로지 군
•

$H_{n}(X)$ : 공간 $X$ 의 $n$ 번째 호몰로지 군
•

$\widetilde{H}_{n}(X)$ : $X$ 의 $n$ 번째 축소 호몰로지 군
•

$H_{n}(X,A)$ : $X$ 와 $A\subseteq X$ 의 $n$ 번째 상대 호몰로지 군
•

$f_{\ast}$ : $f\colon A_{\bullet}\to B_{\bullet}$ 에 의한 $H_{n}(A_{\bullet})\to H_{n}(B_{\bullet})$ 위의 유도 사상, 또는 $f\colon X\to Y$ 에 대한 $H_{n}(X)\to H_{n}(Y)$
•

$\chi(X)$ : 공간 $X$ 의 오일러 지표
•

$H^{n}(A^{\bullet})$ : 코사슬 복합체 $A^{\bullet}$ 의 $n$ 번째 코호몰로지 군
•

$H^{n}(A_{\bullet};G)$ : $A_{\bullet}$ 에 $\operatorname{Hom}(-,G)$ 를 적용하여 얻은 코사슬 복합체의 $n$ 번째 코호몰로지 군
•

$H^{n}(X;G)$ : $G$ -계수를 갖는 $X$ 의 $n$ 번째 코호몰로지 군/환
•

$\widetilde{H}^{n}(X;G)$ : $G$ -계수를 갖는 $X$ 의 $n$ 번째 축소 코호몰로지 군/환
•

$H^{n}(X,A;G)$ : $G$ -계수를 갖는 $X$ 와 $A\subset X$ 의 $n$ 번째 상대 코호몰로지 군/환
•

$f^{\sharp}$ : $f\colon A^{\bullet}\to B^{\bullet}$ 에 의한 $H^{n}(A^{\bullet})\to H^{n}(B^{\bullet})$ 위의 유도 사상, 또는 $f\colon X\to Y$ 에 대한 $H^{n}(X)\to H^{n}(Y)$
•

$\operatorname{Ext}(-,-)$ : Ext 함자
•

$\phi\smile\psi$ : 코사슬 $\phi$ 와 $\psi$ 의 컵 곱

B.8 범주론

몇 가지 흔한 범주들(알파벳순):

•

$\mathsf{Grp}$ : 군의 범주
•

$\mathsf{CRing}$ : 가환환의 범주
•

$\mathsf{Top}$ : 위상 공간의 범주
•

$\mathsf{Top}_{\ast}$ : 점을 갖는 위상 공간의 범주
•

$\mathsf{Vect}_{k}$ : $k$ -벡터 공간의 범주
•

$\mathsf{FDVect}_{k}$ : 유한 차원 벡터 공간의 범주
•

$\mathsf{Set}$ : 집합의 범주
•

$\mathsf{hTop}$ : 위상 공간의 범주로, 그 사상은 사상들의 호모토피 류입니다
•

$\mathsf{hTop}_{\ast}$ : $\mathsf{hTop}$ 의 점을 갖는 버전
•

$\mathsf{hPairTop}$ : 사상이 쌍-호모토피 동치류인 쌍 $(X,A)$ 의 범주
•

$\operatorname{OpenSets}(X)$ : 반순서 집합으로서의 $X$ 의 열린집합의 범주

범주에 대한 연산:

•

$\operatorname{obj}\mathcal{A}$ : 범주 $\mathcal{A}$ 의 대상들
•

$\mathcal{A}^{\mathrm{op}}$ : 반대 범주
•

$\mathcal{A}\times\mathcal{B}$ : 곱 범주
•

$[\mathcal{A},\mathcal{B}]$ : $\mathcal{A}$ 에서 $\mathcal{B}$ 로 가는 함자들의 범주
•

$\ker f\colon\operatorname{Ker}f\to B$ : $f\colon A\to B$ 에 대해, 범주론적 핵
•

$\operatorname{coker}f\colon A\to\operatorname{Coker}f$ : $f\colon A\to B$ 에 대한 범주론적 여핵
•

$\operatorname{im}f\colon A\to\operatorname{Im}f$ : $f\colon A\to B$ 에 대한 범주론적 상

B.9 미분기하학

•

$D f$ : $f$ 의 전미분
•

$(Df)_{p}$ : 점 $p$ 에서의 $f$ 의 전미분
•

$\frac{\partial f}{\partial e_{i}}$ : $i^{\text{번째}}$ 편도함수
•

$\alpha_{p}$ : $k$ -형식 $\alpha$ 를 $p$ 에서 계산한 값
•

$\int_{c}\alpha$ : 미분 형식 $\alpha$ 의 셀 $c$ 위에서의 적분
•

$d\alpha$ : $k$ -형식 $\alpha$ 의 외미분
•

$\phi^{\ast}\alpha$ : $\phi$ 에 의한 $k$ -형식 $\alpha$ 의 당겨오기

B.10 대수적 수론

•

$\overline{\mathbb{Q}}$ : 대수적 수들의 환
•

$\overline{\mathbb{Z}}$ : 대수적 정수들의 환
•

$\overline{F}$ : 체 $F$ 의 대수적 폐포
•

$\operatorname{N}_{K/\mathbb{Q}}(\alpha)$ : 확장 $K/\mathbb{Q}$ 에서 $\alpha$ 의 노름
•

$\operatorname{Tr}_{K/\mathbb{Q}}(\alpha)$ : 확장 $K/\mathbb{Q}$ 에서 $\alpha$ 의 트레이스
•

$\mathcal{O}_{K}$ : $K$ 의 정수환
•

$\mathfrak{a}+\mathfrak{b}$ : 두 아이디얼 $\mathfrak{a}$ 와 $\mathfrak{b}$ 의 합
•

$\mathfrak{a}\mathfrak{b}$ : 아이디얼 $\mathfrak{a}$ 와 $\mathfrak{b}$ 의 원소들의 곱으로 생성된 아이디얼
•

$\mathfrak{a}\mid\mathfrak{b}$ : 아이디얼 $\mathfrak{a}$ 가 아이디얼 $\mathfrak{b}$ 를 나눔
•

$\mathfrak{a}^{-1}$ : 아이디얼 군에서 $\mathfrak{a}$ 의 역원
•

$\operatorname{N}(I)$ : 아이디얼 노름
•

$\mathrm{Cl}_{K}$ : $K$ 의 유수군
•

$\Delta_{K}$ : 수체 $K$ 의 판별식
•

$\mu(\mathcal{O}_{K})$ : $\mathcal{O}_{K}$ 에 포함된 단위근들의 집합
•

$[K:F]$ : 체 확장의 차수
•

$\operatorname{Aut}(K/F)$ : $F$ 를 고정하는 $K$ 의 체 자기동형사상들의 집합
•

$\operatorname{Gal}(K/F)$ : $K/F$ 의 갈루아 군
•

$D_{\mathfrak{p}}$ : 소 아이디얼 $\mathfrak{p}$ 의 분해군
•

$I_{\mathfrak{p}}$ : 소 아이디얼 $\mathfrak{p}$ 의 관성군
•

$\mathrm{Frob}_{\mathfrak{p}}$ : $\mathfrak{p}$ 의 프로베니우스 원소 ( $\operatorname{Gal}(K/\mathbb{Q})$ 의 원소)
•

$P_{K}(\mathfrak{m})$ : 모듈러스 $\mathfrak{m}$ 의 주 아이디얼들의 광선
•

$I_{K}(\mathfrak{m})$ : 모듈러스 $\mathfrak{m}$ 의 분수 아이디얼들
•

$C_{K}(\mathfrak{m})$ : 모듈러스 $\mathfrak{m}$ 의 광선 유수군
•

$\left(\frac{L/K}{\bullet}\right)$ : 아르틴 기호
•

$\operatorname{Ram}(L/K)$ : $L$ 에서 분지하는 $K$ 의 소수들
•

$\mathfrak{f}(L/K)$ : $L/K$ 의 도체

B.11 표현론

•

$k[G]$ : 군 대수
•

$V\oplus W$ : 대수 $A$ 의 표현 $V=(V,\rho_{V})$ 와 $W=(W,\rho_{W})$ 의 직합
•

$V^{\vee}$ : 표현 $V=(V,\rho_{V})$ 의 쌍대 표현
•

$\operatorname{Reg}(A)$ : 대수 $A$ 의 정규 표현
•

$\operatorname{Hom}_{\mathrm{rep}}(V,W)$ : 표현의 사상 $V\to W$ 의 대수
•

$\chi_{V}$ : $A$ -표현 $V$ 에 부착된 지표 $A\to k$
•

$\operatorname{Classes}(G)$ : $G$ 의 켤레류의 집합
•

$\operatorname{Fun}_{\mathrm{class}}(G)$ : 함수 $\operatorname{Classes}(G)\to\mathbb{C}$ 의 복소 벡터 공간
•

$V\otimes W$ : 군 $G$ (대수가 아니라)의 표현 $V=(V,\rho_{V})$ 와 $W=(W,\rho_{W})$ 의 텐서곱
•

$\mathbb{C}_{\mathrm{triv}}$ : 자명 표현
•

$\mathbb{C}_{\mathrm{sign}}$ : 부호 표현

B.12 대수기하학

•

$\mathcal{V}(-)$ : 집합 또는 아이디얼의 소멸 궤적
•

$\mathbb{A}^{n}$ : $n$ 차원 (복소) 아핀 공간
•

$\sqrt{I}$ : 아이디얼 $I$ 의 근기
•

$\mathbb{C}[V]$ : 아핀 다양체 $V$ 의 좌표환
•

$\mathcal{O}_{V}(U)$ : $U$ 위의 유리 함수의 환
•

$D(f)$ : 판별 열린집합
•

$\mathbb{CP}^{n}$ : 복소 사영 $n$ -공간 (사영 다양체의 주변 공간)
•

$(x_{0}:\dots:x_{n})$ : 사영 공간의 좌표
•

$U_{i}$ : 표준 아핀 차트
•

$\mathcal{V}_{\text{pr}}(-)$ : 사영 소멸 궤적.
•

$h_{I}$ , $h_{V}$ : 아이디얼 $I$ 또는 사영 다양체 $V$ 의 힐베르트 함수
•

$\pi^{\sharp}$ 또는 $\pi^{\sharp}_{U}$ : $\pi\colon X\to Y$ 로부터 얻어지는 당겨오기 $\mathcal{O}_{Y}\to\mathcal{O}_{X}(\pi^{\text{pre}}(U))$
•

$\mathscr{F}_{p}$ : 점 $p$ 에서의 (준)층 $\mathscr{F}$ 의 줄기
•

$[s]_{p}:$ 점 $p$ 에서의 $s\in\mathscr{F}(U)$ 의 배아
•

$\mathcal{O}_{X,p}$ : $(\mathcal{O}_{X})_{p}$ 의 축약형입니다.
•

$\mathscr{F}^{\mathrm{sh}}$ : 전층 $\mathscr{F}$ 의 층화입니다.
•

$\alpha_{p}\colon\mathscr{F}_{p}\to\mathscr{G}_{p}$ : $\alpha\colon\mathscr{F}\to\mathscr{G}$ 로부터 얻어지는 줄기 사이의 사상입니다.
•

$\mathfrak{m}_{X,p}$ : $\mathcal{O}_{X,p}$ 의 극대 아이디얼입니다.
•

$\operatorname{Spec}A$ : 환 $A$ 의 스펙트럼입니다.
•

$S^{-1}A$ : 환 $A$ 를 집합 $S$ 에서 국소화한 것입니다.
•

$A[1/f]$ : 환 $A$ 를 원소 $f$ 바깥에서 국소화한 것입니다.
•

$A_{\mathfrak{p}}$ : 환 $A$ 를 소 아이디얼 $\mathfrak{p}$ 에서 국소화한 것입니다.
•

$f(\mathfrak{p})$ : $\mathfrak{p}$ 에서의 $f$ 의 값, 즉 $f\pmod{\mathfrak{p}}$ 입니다.
•

$\kappa(\mathfrak{p})$ : $\operatorname{Spec}A$ 의 원소 $\mathfrak{p}$ 에서의 잉여체입니다.
•

$\pi^{\sharp}_{\mathfrak{p}}$ : $\pi^{\sharp}$ 에서 유도되는 줄기 사이의 사상입니다.

B.13 집합론

•

$\mathsf{ZFC}$ : 표준적인 ZFC 이론입니다.
•

$\mathsf{ZFC}^{+}$ : 표준적인 ZFC 이론에 “강한 비가측 기수가 존재한다”라는 문장을 추가한 것입니다.
•

$2^{S}$ 또는 $\mathcal{P}(S)$ : $S$ 의 멱집합입니다.
•

$A\land B$ : $A$ 이고 $B$ 입니다.
•

$A\lor B$ : $A$ 이거나 $B$ 입니다.
•

$\neg A$ : $A$ 가 아닙니다.
•

$V$ : 모든 집합의 클래스(폰 노이만 우주)입니다.
•

$\omega$ : 첫 번째 무한 순서수이며, 음이 아닌 정수 전체의 집합이기도 합니다.
•

$V_{\alpha}$ : 폰 노이만 우주의 단계입니다.
•

$\mathrm{On}$ : 순서수의 클래스입니다.
•

$\bigcup A$ : $A$ 내부 원소들의 합집합입니다.
•

$A\approx B$ : 집합 $A$ 와 $B$ 가 동수(equinumerous)입니다.
•

$\aleph_{\alpha}$ : 알레프 수
•

$\operatorname{cof}\lambda$ : $\lambda$ 의 공종도
•

$\mathscr{M}\vDash\phi[b_{1},\dots,b_{n}]$ : 모델 $\mathscr{M}$ 이 매개변수 $b_{1}$ , …, $b_{n}$ 을 가진 문장 $\phi$ 를 만족합니다
•

$\Delta_{n}$ , $\Sigma_{n}$ , $\Pi_{n}$ : 레비 계층의 단계
•

$\mathscr{M}_{1}\subseteq\mathscr{M}_{2}$ : $\mathscr{M}_{1}$ 은 $\mathscr{M}_{2}$ 의 부분구조입니다
•

$\mathscr{M}_{1}\prec\mathscr{M}_{2}$ : $\mathscr{M}_{1}$ 은 $\mathscr{M}_{2}$ 의 초등 부분구조입니다
•

$p\parallel q$ : 포셋 $\mathbb{P}$ 의 원소 $p$ 와 $q$ 가 양립 가능합니다
•

$p\perp q$ : 포셋 $\mathbb{P}$ 의 원소 $p$ 와 $q$ 가 양립 불가능합니다
•

$\text{Name}_{\alpha}$ : $\mathbb{P}$ -이름의 계층
•

$\tau^{G}$ : 필터 $G$ 에 의한 이름 $\tau$ 의 해석
•

$M[G]$ : 강제 포셋 $G\subseteq\mathbb{P}$ 로부터 얻은 모델
•

$p\Vdash\varphi(\sigma_{1},\dots,\sigma_{n})$ : $p\in\mathbb{P}$ 가 문장 $\varphi$ 를 강제합니다
•

$\check{x}$ : 해석되었을 때 $x\in M$ 을 주는 이름
•

$\dot{G}$ : 해석될 때 $G$ 에 주어지는 이름