curr at VG : 구간,interval 윗부분
....저기내용은 2023-11-02현재 모두 복사해오면
{
닫힌단위구간 closed_unit_interval : $\displaystyle [0,1]$ <- wpen은 이것이 unit interval이라 한다? 딴건 아니고?
열린단위구간 open_unit_interval : $\displaystyle (0,1)$
half-open_unit_interval : $\displaystyle [0,1)$ or $\displaystyle (0,1]$
unit interval