재밌습니다.

equivalence class에서 representative element를 말하는 것 같습니다.

{set of propositional formulas}/logical-equivalence에서 cnf, dnf

disjoint set datastructure(forest)에서 set(tree)의 representative element(tree의 root)

{square matrices of n by n}/similarity 에서 Jordan form

가 예시인 것 같습니다

- dc official App