User talk:L0mars01

Welcome
Welcome to ProofWiki! Since you're new, you may want to check out the general help page. It's the best first stop to see how things are done (next to reading proofs, of course!). Please feel free to contribute to whichever area of mathematics interests you, either by adding new proofs, or fixing up existing ones. If you have any questions please feel free to contact one of the administrators, or post your question on the questions page.

Here are some useful pages to help get you started:
 * Community Portal - To see what needs to be done, and keep up to date with the community.
 * Recent Changes - To keep up with what's new, and what's being added.
 * Check out our house style if you are keen on contributing.
 * Main Page talk - This is where most of the main discussions regarding the direction of the site take place. If you have any ideas, please share them!

Cheers!


 * --Your friendly ProofWiki WelcomeBot 19:50, 6 September 2012 (UTC)

On Definition:Characteristic Function
Please refrain from outright deletion of material in the future. While it may be true that the definition for a relation is an instance of that for sets, this doesn't imply that there is no added value in mentioning the special case. A relation is conceptually a lot different from a set (while it still is one) and so the distinction is merited. In fact, even if there was only one source mentioning the specific definition for a relation, for completeness' sake we at PW would aim to include that definition. Compare Definition:Neighborhood (Metric Space) which is an instance of Definition:Neighborhood (Topology). Thank you for your anticipated cooperation. --Lord_Farin (talk) 07:52, 22 September 2012 (UTC)


 * I'll endorse this. There was a specific reason for including the definition for a relation: it was a crucial step along the way towards the Gödel theorems (still unfinished while I work on other stuff).
 * ProofWiki is not so much an encyclopedia, it is more akin a dictionary. As such it includes a lot of small details which would in a more discursive presentational strategy be ignored. Users have expressed delight at such inclusivity as it can provide essential clarification of intellectual stumbling-blocks. --prime mover (talk) 08:02, 22 September 2012 (UTC)