LawrenceC comments on Finite Factored Sets in Pictures

[LawrenceC]

I’m pretty sure that you can prove that finite factored sets have this property directly, actually!