kms cut => https://www.kms.or.kr/mathdict/list.html?key=ename&keyword=cut

Sub:
데데킨트 절단 Dedekind cut
https://encyclopediaofmath.org/wiki/Dedekind_cut