🚧關係╱relation

╱🚧 under construction

數學集合 ⟩ 關係╱relation

  • 二元關係

  • 二元關係屬性

    • 反身性╱reflexivitya  aa \ {\color{orange}\mapsto} \ a

    • 對稱性╱symmetrya  b    b  aa \ {\color{orange}\mapsto} \ b \implies b \ {\color{orange} \mapsto} \ a

    • 反對稱╱antisymmetrya  b  b  a    a=ba \ {\color{orange}\mapsto} \ b \ \land \ b \ {\color{orange}\mapsto} \ a \implies a = b

    • 遞移性╱transitivitya  b  b  c    a  ca \ {\color{orange}\mapsto} \ b \ \land \ b \ {\color{orange}\mapsto} \ c \implies a \ {\color{orange}\mapsto} \ c

    • 全序性╱totalitya  b  b  aa \ {\color{orange}\mapsto} \ b \ \lor \ b \ {\color{orange}\mapsto} \ a

Last updated

Was this helpful?