2024.07.18
https://www.youtube.com/watch?v=_PncZ0h_hEE
思った
木の定義としてこれを考えたが,後にこれは合流していまうということが指摘された.
今$ T := \lang N, r, \prec \rangが有限推移木とは
1. $ Nが有限
2. $ \precはassymetric,すなわち$ \forall_{x,y}. x \prec y \implies y \not\prec x
3. $ \precはtransitive,すなわち$ \forall_{x,y,z}. x \prec y, y \prec z \implies x \prec z
4. $ rは根.すなわち$ \forall_{x \neq r}. r \prec x