선형공간 → 집합론 기반으로 쌓아 올라감
대수, 위상
대수적 구조 → 연산을 주는 것
이항연산 - 두개를 받아서 하나로 반환해준다.
자연수 → 정수 수체계 발전
덧셈 - 1은 generator야..
수를 대신한다 하여 대수학
미지수를 쓰는 게 대수학의 시작.
틀린 것 → 무조건 맞지 않으면 틀림
행렬을 LinearMap으로 볼 수 있음
집합에서 원소 두개를 독립적으로 뽑는 것 → 카테시안 프로덕트 a