곱셈: 두 판 사이의 차이

내용 삭제됨 내용 추가됨
70번째 줄:
:<math>\N,\Z,\Q,\R</math> 는 각각 자연수,정수,유리수,실수 일때,
 
정수 내지 복소수 수 체계를 공리화했을 때, 항상 일정한 조건을 만족하는 이항 연산으로서 기술된다. 이들을 형식적으로 구성할 수도 있다. (특히 [[집합론]]에서) 정수 체계는 ℕ × ℕ 위의 [[동치류]]로서 구성되며, 이때 곱셈은 다음과 같은 방법으로 [[w:Well-defined|잘 정의된]](well-defined) 것으로 된다.ㅆㅂ
 
:<math>(a, b) \cdot (c, d) = (ac + bd, ad + bc)</math>