Talk:Theory of relations

Introductory paragraphs[edit]

Can somebody rewrite it? It seems to be trying to say simple things in a very elaborate and complicated way. Even knowing something about relations theory the intro looked strange (ie could have been written much more simply). Anyways, I'm non-expert so I think somebody else should rewrite this.

IlyaV (talk) 17:51, 12 September 2013 (UTC)[reply]

Notes & Queries[edit]

Jon Awbrey 16:40, 14 January 2006 (UTC)[reply]

Hmmm... This looks familiar... Randall Holmes 02:26, 28 January 2006 (UTC)[reply]

JA: Different audience ∧ different scope (narrows horizontally on concrete combinatorial settings, but deeper vertically in coverage of more than just the basic definition) ⇒ substantially different article, cylindrically speaking. Jon Awbrey 04:02, 28 January 2006 (UTC)[reply]

Destructive formatting[edit]

JA: A style sheet that destroys information, or that leads to the erosion of information, is a bad style sheet. Please feel free to add pertinent information, but do not destroy any. Jon Awbrey 17:40, 21 March 2006 (UTC)[reply]

Local incidence properties[edit]

As of May 27, 2011, this section contained the following definition:

A k-adic relation L ⊆ X₁ × … × X_k is said to be C-regular at j if and only if every flag of L with x at j has the property C, where x is taken to vary over the theme of the fixed domain X_j.

Expressed in symbols, L is C-regular at j if and only if C(L_x.j) is true for all x in X_j.

I could find no explanation of this mathematical use of the term theme in this Wikipedia. Perhaps readers unfamiliar with this use of theme would more easily understand "where x is each element of X_j". Or perhaps we should leave this definition as written and provide a link to a new page explaining what it means for x to be taken to vary over the theme of the domain X. Howard McCay (talk) 06:14, 27 May 2011 (UTC)[reply]

Explanation: The above definition comes from the Local incidence properties section of an article on combinatorics relations in PlanetMath.org. Later in the same article, another section, Numerical incidence properties contains the following definition:

For example, L is said to be c-regular at j if and only if the cardinality of the local flag L_x@j is c for all x in X_j or, to write it in symbols, if and only if L_x@j=c for all x∈X_j.

Comparing both definitions, it is clear that the expresion 'is taken to vary over the theme of' a domain is just an elaborate way of saying 'in,' 'is any element of,' or 'represents any of the objects in' the said domain, or any other similar and clearer expression. In the informal definition following the formal one and beginning by 'Expressed in symbols,' the author of the original article made it clear already by saying 'for all x in X_j.'

The lack of clarity of the elaborate expression above makes me point to the conveniency of its replacement. The author of the section simply copied the definition without editing it to make it understandable to a wider collective than the mathematics-oriented one for the original article.

Kurt Artindagi (talk) 16:50, 25 February 2013 (UTC)[reply]

A search for "numerical incidence property" in Google Books finds 0 sources. A lot of stuff on planetmath is whatever passed through someone's mind but couldn't get published. Also a lot of planetmath have gone blank in the past few years, including that one. Some1Redirects4You (talk) 19:00, 24 April 2015 (UTC)[reply]

If nobody comes up with a reliable reference (not planetmath) where LIPs and NIPs are defined (possibly using other names for them), I'm planning to delete those sections in about a week from now. This is an "official" WP:CHALLENGE. Some1Redirects4You (talk) 07:35, 25 April 2015 (UTC)[reply]

No ref has been put forth, so I've deleted the troublesome material. Also it's not clear where the "ground" and "figure" of a relation might be defined so cleaning up that section is next. Some1Redirects4You (talk) 11:33, 18 May 2015 (UTC)[reply]