Search results

{{Short description|Any binary relation equal to its composition with itself}} ....pdf}}</ref> This notion generalizes that of an [[idempotent function]] to relations. ...

{{short description|Property of a relation on a set}} {{stack|{{Binary relations}}}} ...

...ch relations is [[spatial relation]]s (above, below, left, right, in front of, behind).<ref name=":0">{{Cite arXiv|title=A simple neural network module f RNs can infer relations, they are data efficient, and they operate on a set of objects without regard to the objects' order.<ref name=":0" /> ...

...]], the '''quasi-commutative property''' is an extension or generalization of the general [[commutative property]]. This property is used in specific app ...0002-9947-1934-1501746-8.pdf On quasi-commutative matrices. ''Transactions of the American Mathematical Society, 36''(2), 327–340].</ref> as follows. Giv ...

...ar semigroup]];<ref name="Grillet"/> it is an indispensable building block of bisimple, idempotent-generated regular semigroups.<ref name="Grillet"/> A c ...S. S. Nambooripad|Nambooripad]]. The diagram below summarises the various relations among ''a'', ''b'', ''c'', ''d'': ...

...al object]] that occurs in the description of the [[structure]] of the set of [[idempotent]]s in a [[semigroup]]. ...=David|date=1985|title=Biordered sets come from semigroups|journal=Journal of Algebra|volume=96|issue=2|pages=581–91|doi-access=free}}</ref> ...

...}, the covering groups are 2-fold covers except for the alternating groups of degree 6 and 7 where the covers are 6-fold. ...tetrahedral group]] covers the [[tetrahedral group]], an alternating group of degree 4. ...

{{Short description|Mathematical result on order relations}} ...hoice]] in the form of [[Zorn's lemma]] to find a maximal set with certain properties. ...

...f animal societies: I. Effect of inherent characteristics|journal=Bulletin of Mathematical Biophysics|volume=13 |issue=1|pages=1–19|doi=10.1007/bf0247833 In the context of [[social choice theory]], tournament solutions are closely related to Fishb ...

...ional set''' of a [[monoid]] is an element of the minimal class of subsets of this monoid that contains all finite subsets and is closed under [[set unio A rational set generalizes the notion of [[regular language|rational (or regular) language]] (understood as defined ...

...he [[Stefan–Boltzmann law]] with a nominal solar [[effective temperature]] of 5,772&nbsp;[[Kelvin|K]]: ...}, it is one of [[List of most massive stars|the most massive]] and [[List of most luminous stars|most luminous known stars]].<ref name=wu/> ...

...ty of Erlangen]]<br/>[[University of Würzburg]]<br/>[[Technical University of Munich]] |alma_mater =[[Ludwig Maximilian University of Munich]] ...

...onstructive mathematics]], '''pseudo-order''' is a name given to certain [[binary relation]]s appropriate for modeling continuous orderings. In classical mathematics, its axioms constitute a formulation of a [[strict total order]] (also called linear order), which in that context ...

...another if each entry of the first is contained in the corresponding entry of the second. The product of two Boolean matrices is expressed as follows: ...

{{short description|Property of segments that have the same length and the same direction}} In [[Euclidean geometry]], '''equipollence''' is a [[binary relation]] between [[directed line segment]]s. Two segments are said to be ...

...th representations for elements. [[Realizability topos]]es are completions of assembly categories. ...t (which is a reasonable representation for a multiset) of representations of its connected components.{{r|bauer|p=44–45}} ...

...ociated by directed relationships, and entities and relationships can have properties. ...Each arc has an identifier, a source node and a target node, and may have properties. ...

{{Short description|Relationship between two sets, defined by a set of ordered pairs}} ...hematics|a more in-depth treatment|Binary relation|relations on any number of elements|Finitary relation}} ...

...e 8 3-edges (4 in red, 4 in green) projected symmetrically into 8 vertices of a [[square antiprism]]. |bgcolor=#e7dcc3|[[Shephard group]]||[[binary tetrahedral group|₃[3]₃]], order 24 ...

...form]]s, [[Termination (term rewriting)|termination]], and various notions of [[Confluence (abstract rewriting)|confluence]]. Historically, there have been several formalizations of rewriting in an abstract setting, each with its idiosyncrasies. This is due ...