공통 부분,
Sub:
intersection_theory (math)
=,intersection_theory . intersection_theory
{
intersection theory
intersection_theory
=,intersection_theory . intersection_theory
{
intersection theory
intersection_theory
MKL intersection_product Bezout_theorem { Bézout's theorem ----https://ko.wikipedia.org/wiki/베주_정리 Bézout's_theorem = https://en.wikipedia.org/wiki/Bézout's_theorem }
https://en.wikipedia.org/wiki/Intersection_theory
https://ncatlab.org/nlab/show/intersection theory
Up: algebraic_geometry
intersection+theory
}
https://ncatlab.org/nlab/show/intersection theory
Up: algebraic_geometry
intersection+theory
}
intersection_product
intersection_product =,intersection_product .
{
intersection product
intersection_product
intersection_product =,intersection_product .
{
intersection product
intersection_product
intersection+product
}
}
Cmp: 유니온 유니언 =,union . {
set_union - cmp set_intersection
합집합
합사건}
교차수 (wk)
교차수
intersection_number =,intersection_number .
intersection number
intersection+number
교차수
...교차수
intersection number
intersection+number
교차수
intersection_number =,intersection_number .
intersection number
intersection+number
교차수
...교차수
intersection number
intersection+number
CMP: 조인,join =,join .
{
Sub:
join-semilattice join-semilattice (x) join-semilattice meet-semilattice
{
Sub:
join-semilattice join-semilattice (x) join-semilattice meet-semilattice
meet
Meet
semitwin: https://en.wikipedia.org/wiki/Join_and_meet
Up: order_theory > lattice_theory{ MKL 래티스,lattice }
}
Meet
semitwin: https://en.wikipedia.org/wiki/Join_and_meet
Up: order_theory > lattice_theory{ MKL 래티스,lattice }
}