Difference between r1.7 and the current

@@ -11,8 +11,9 @@

CMP
ordered_tuple vs unordered_tuple (?)

WtEn:ordered_tuple vs WtEn:unordered_tuple (?) .... Ggl:"ordered unordered tuple"

WtEn:ordered_tuple vs WtEn:unordered_tuple x(2024-06) (?) .... Ggl:"ordered unordered tuple"

그리고 이것들을 ordered_set unordered_set 과도 cmp. .... Ggl:"ordered unordered set"

https://proofwiki.org/wiki/Definition:Ordered_Tuple

sequence - [[시퀀스,sequence]] or [[열,sequence]] or [[수열,sequence]]
list - [[리스트,list]] or [[목록,list]]

MENTIONED-AT, MKLINK
named_tuple - 줄리아,Julia 파이썬,Python ...and?

named tuple

번역?
이름,name 네임,name -d .... 이걸 뭘 로 ... 이름지어진 ??

tuple_calculus - curr at 칼큘러스,calculus?action=highlight&value=tuple_calculus
페어,pair
좌표,coordinate가 이거임.

MKLINK
abstract_data_type?

CMP
ordered_tuple vs unordered_tuple (?)

ordered_tuple vs

unordered_tuple x(2024-06) (?) ....

ordered unordered tuple

그리고 이것들을 ordered_set unordered_set 과도 cmp. ....

ordered unordered set
https://proofwiki.org/wiki/Definition:Ordered_Tuple

sequence - 시퀀스,sequence or 열,sequence or 수열,sequence
list - 리스트,list or 목록,list
vector(as data type) 벡터,vector
array(배열,array)
ordered_set
...

Sub:
0-tuple
1-tuple = singleton? singleton은 1원소 집합,set 등에도 쓰이는 더 범용 개념.
2-tuple = couple? 커플,couple .... (tbw dual과 관련은? dual 쌍대,dual 쌍대성,duality )
3-tuple triple?
4-tuple quadruple 이었나
5-tuple quintuple 이었나
....

TODO 이것들을 pagename으로 normalize할 방법을 생각해보아야 함

그리고 번역도.

한쌍(?? 단어자체가 모순?)
두쌍
세쌍 -