El escenario
Illustrate direct logical implications between propositions (e.g., square implies rectangle and rhombus, both imply parallelogram) without transitive edges.
Qué hay en este dibujo
Lee las decisiones que hay detrás.
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.