シナリオ
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.