← Feed @ToucanIan@mathstodon.xyz Post #2278882 2026-05-06 15:19 UTC @julesh@mathstodon.xyz P should be injective on sets by uniqueness of top elements in a sup lattice. Replies (0) No replies.