[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: "Partial" Functions
I hope someone who has a copy will tell us what it says.
Well I checked my own copy yesterday evening and in fact they don't define a partial function
because in the triple (F,A,B) they require that A = domain F. Well...
Metamath has a definition of a partial function (but it is not (yet) ordinary mathematics.)