작성중, 임시.

(비슷한느낌의단어들....관계는없을수도있을수도)
나눔, 나누기 - 나눗셈,division에서도 쓰는
분할 - ex. 분할정복,divide_and_conquer
쪼갬
절단,cut

Sub:
변수분리,variable_separation (변수분리법)
separability .... 분리가능성? 분리성? (2023-12 에 not in kms. later try separability ) separability separability separability
분리공리,separation_axiom { axiom of separation Up: 분리,separation 공리,axiom }
분리벡터,separation_vector - curr at 벡터,vector
separation_logic (CS)
{
separation logic
분리논리?

Separation_logic = https://en.wikipedia.org/wiki/Separation_logic
via Maplet
} // separation logic separation logic separation logic
...