Gallium trichloride: Difference between revisions

From formulasearchengine
Jump to navigation Jump to search
en>Addbot
m Bot: Migrating 7 interwiki links, now provided by Wikidata on d:q31153 (Report Errors)
en>CheMoBot
Updating {{chembox}} (changes to watched fields) per Chem/Drugbox validation (report errors or bugs)
 
(One intermediate revision by the same user not shown)
Line 1: Line 1:
In [[mathematics]], a [[partial order]] < on a set ''X'' is said to be '''dense''' if, for all ''x'' and ''y'' in ''X'' for which ''x'' < ''y'', there is a ''z'' in ''X'' such that ''x'' < ''z'' < ''y''.
Andrew Simcox is the name his mothers and fathers gave him and he totally enjoys this title. What I adore performing is soccer but I don't have the time lately. Credit authorising is exactly where my main earnings comes from. Her family lives in Ohio.<br><br>my webpage :: are psychics real, [http://galab-work.cs.pusan.ac.kr/Sol09B/?document_srl=1489804 resource for this article],
 
The [[rational number]]s with the ordinary ordering are a densely ordered set in this sense, as are the [[real number]]s. On the other hand, the ordinary ordering on the [[integer]]s is not dense.
 
==Generalizations==
Any [[binary relation]] ''R'' is said to be ''dense'' if, for all ''R''-related ''x'' and ''y'', there is a ''z'' such that ''x'' and  ''z'' and also ''z'' and  ''y'' are ''R''-related.{{Citation needed|reason=There are reasonable, inequivalent alternatives, so a source should be given.|date=March 2012}} Formally:
: <math> \forall x\  \forall y\ xRy\Rightarrow (\exists z\ xRz \land zRy).</math>
 
Every [[reflexive relation]] is dense. A strict [[partial order]] < is a dense order [[iff]] < is a dense relation.
 
==See also==
*[[Dense set]]
*[[Dense-in-itself]]
*[[Kripke semantics]]
 
== References ==
* [[David Harel]], [[Dexter Kozen]], Jerzy Tiuryn, ''Dynamic logic'', MIT Press, 2000, ISBN 0-262-08289-6, p.&nbsp;6ff
 
[[Category:Mathematical relations]]
[[Category:Order theory]]
 
{{mathlogic-stub}}

Latest revision as of 04:31, 30 November 2014

Andrew Simcox is the name his mothers and fathers gave him and he totally enjoys this title. What I adore performing is soccer but I don't have the time lately. Credit authorising is exactly where my main earnings comes from. Her family lives in Ohio.

my webpage :: are psychics real, resource for this article,