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}} (no changed fields - added verified revid) per Chem/Drugbox validation (report errors or bugs)
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''.
Jayson Berryhill is how I'm called and my wife doesn't like it at all. Some time in the past he selected to live in North Carolina and he doesn't plan on altering it. Office supervising is exactly  [http://www.familysurvivalgroup.com/easy-methods-planting-looking-backyard/ accurate psychic readings] where her main earnings arrives from but she's already utilized for another 1. To play lacross is the thing I  [http://www.010-5260-5333.com/index.php?document_srl=1880&mid=board_ALMP66 best psychic] love most of all.<br><br>Check out my website free tarot readings ([http://myoceancounty.net/groups/apply-these-guidelines-when-gardening-and-grow/ http://myoceancounty.net/])
 
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}}

Revision as of 01:35, 27 February 2014

Jayson Berryhill is how I'm called and my wife doesn't like it at all. Some time in the past he selected to live in North Carolina and he doesn't plan on altering it. Office supervising is exactly accurate psychic readings where her main earnings arrives from but she's already utilized for another 1. To play lacross is the thing I best psychic love most of all.

Check out my website free tarot readings (http://myoceancounty.net/)