The scenario
Illustrate direct logical implications between propositions (e.g., square implies rectangle and rhombus, both imply parallelogram) without transitive edges.
What is in this drawing
Read the decisions behind it.
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.
More like this