Talk:Mappings Partially Ordered by Extension

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)