Talk:Mappings Partially Ordered by Extension

From ProofWiki
Jump to navigation Jump to search

Surely it is meant that the partial mappings can be ordered? That's quite a lot stronger, as the result is not the diagonal relation... --Lord_Farin 03:11, 20 January 2012 (EST)

Retrieved from "https://proofwiki.org/w/index.php?title=Talk:Mappings_Partially_Ordered_by_Extension&oldid=77323"