구조 (논리학): 두 판 사이의 차이
내용 삭제됨 내용 추가됨
→참고 문헌: 봇: 인용 틀 변수 이름 수정 |
→정의: 함수의 표기문자 수정 |
||
8번째 줄:
* <math>R</math>는 [[집합]]이다. <math>R</math>의 원소를 '''관계'''(關係, {{llang|en|relation}})라고 한다.
* <math>\operatorname{arity}_F\colon F\to\mathbb N</math>는 [[함수]]이다. <math>f\in F</math>에 대하여 <math>\operatorname{arity}_F(f)=n</math>이라면, <math>f</math>를 '''<math>n</math>항 연산'''({{llang|en|<math>n</math>-ary operation}})이라고 한다.
* <math>\operatorname{arity}_R\colon
부호수 <math>(F,R,\operatorname{arity}_F,\operatorname{arity}_R)</math>의 '''구조''' <math>(M,F_M^n,R_M^n)_{n\in\mathbb N}</math>는 다음과 같은 [[튜플]]이다.
| |||