결합 구조: 두 판 사이의 차이

내용 삭제됨 내용 추가됨
8번째 줄:
* [[부분 집합]] <Math>\vartriangleleft\subseteq X\times L</math>. 만약 <math>(x,l)\in R</math>라면 이를 <math>x\vartriangleleft l</math> 또는 <math>l\vartriangleright x</math>로 표기하고, <math>x</math>가 <math>l</math>과 '''결합한다'''(結合-, {{llang|en|incident}})고 한다. (이 [[이항 관계]]는 <math>x\,\mathsf I\,l</math> 또는 <math>x\in l</math> 등으로 표기되기도 한다.)
 
결합 구조 <math>(X,L,\vartrianglevartriangleleft)</math>에서, [[부분 집합]]
:<math>X'\subseteq X</math>
:<math>L'\subseteq L</math>
이 주어졌을 때, <math>(X',L',\vartrianglevartriangleleft\restriction X'\times L')</math>를 <math>(X,L,\vartriangle)</math>의 '''부분 결합 구조'''(部分結合構造, {{llang|en|incidence substructure}})라고 한다.
 
=== 균등 결합 구조 ===