A partial order on antichains of a fixed size | Synapse