[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.)