상황
Illustrate direct logical implications between propositions (e.g., square implies rectangle and rhombus, both imply parallelogram) without transitive edges.
이 도면에 담긴 내용
그 이면의 의사결정을 읽어 보세요.
01
Bottom-to-top orientation to reflect increasing generality
02
Omitting transitive connections for Hasse clarity
Reusable for any partial order of logical statements or set inclusions.