[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

*From*: fl <freder...@xxxxxxxxxxx>*Date*: Mon, 25 Aug 2014 02:19:52 -0700 (PDT)*References*: <4bfacee9-8875-40d3-99f0-08f55455b42c@googlegroups.com> <3dd51f9e-3f93-45cf-a4cf-20764a1f6d88@googlegroups.com>

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

http://us2.metamath.org:88/mpegif/elpmg.html

--

FL

**Follow-Ups**:**Re: "Partial" Functions***From:*D. Couturier

**References**:**"Partial" Functions***From:*Leslie Lamport

**Re: "Partial" Functions***From:*Leslie Lamport

- Prev by Date:
**Re: "Partial" Functions** - Next by Date:
**Re: "Partial" Functions** - Previous by thread:
**Re: "Partial" Functions** - Next by thread:
**Re: "Partial" Functions** - Index(es):