binary predicate - перевод на русский
Diclib.com
Словарь онлайн

binary predicate - перевод на русский

ANY SET OF ORDERED PAIRS; (ON A SET A) COLLECTION OF ORDERED PAIRS OF ELEMENTS OF A, I.E. SUBSET OF A × A; (BETWEEN TWO SETS A AND B) COLLECTION OF ORDERED PAIRS WITH FIRST ELEMENT IN A AND SECOND ELEMENT IN B
Asymmetrical relationship; MathematicalRelation; Mathematical relationship; Binary predicate; Mathematical relation; Binary relations; Dyadic relation; Two-place relation; ≙; Relational mathematics; Functional relation; Surjective relation; Injective relation; One-to-one relation; Onto relation; Right-total; Right-total relation; Right-unique relation; Right-unique; Field of a relation; Range of a relation; Domain of a relation; Difunctional; Afterset; Foreset; Many-to-one relation; Operations on binary relations; Set-like relation; Heterogeneous relation; Rectangular relation; Heterorelativ; Left-unique relation; Fringe of a relation; Draft:Binary relation Definition; Right-definite relation; Univalent relation; Contact relation; Draft:Correspondence (mathematics); One-to-many relation; Many-to-many relation; Draft:Mathematical correspondence; Relation on a set; Binary relation over a set; Restriction relation; Binary relation on a set; Right total relation; Right total; Difunctional relation
  • Oceans and continents (islands omitted)
  • Examples of four types of binary relations over the [[real number]]s: one-to-one (in green), one-to-many (in blue), many-to-one (in red), many-to-many (in black).

binary predicate         

математика

двуместный предикат

binary opposition         
PAIR OF RELATED TERMS OR CONCEPTS THAT ARE OPPOSITE IN MEANING
Binary order; Binary thinking; Binary oppositions; Binary pair; Opposition theory

['bainəriɔpɔ'ziʃ(ə)n]

лингвистика

бинарная оппозиция

eclipsing binary         
  • cataclysmic variable system]]
  • The two visibly distinguishable components of [[Albireo]]
  • near-infrared H-band]], sorted according to orbital phase.
  • plasma ejection]]s from [[V Hydrae]]
  • Artist's impression of the evolution of a hot high-mass binary star
  • This video shows an artist's impression of an eclipsing binary star system. As the two stars orbit each other they pass in front of one another and their combined brightness, seen from a distance, decreases.
  • Eclipsing binary showing different phases of the smaller secondary relative to the primary star (center)
  • HD 106906]]
  • Schematic of a binary star system with one planet on an S-type orbit and one on a P-type orbit
  • Artist's impression of the binary star system [[AR Scorpii]]
  • Artist's impression of the sight from a (hypothetical) moon of planet [[HD 188753 Ab]] (upper left), which orbits a [[triple star system]]. The brightest companion is just below the horizon.
  • [[Luhman 16]], the third closest star system, contains two [[brown dwarf]]s.
STAR SYSTEM CONSISTING OF TWO STARS
Spectroscopic binary; Eclipsing binary; Telescopic binary; Detached binary; Semidetached binary; Astrometric binary; Double star system; Binary star system; Binary stars; Spectroscopic binaries; Eclipsing binaries; Companion star; Eclipsing Variable Star; Binary Star; Astrometric binaries; Binary (astronomy); Eclipsing variable; Detached binaries; Semidetached binaries; Visual binaries; Close binary; Eclipsing binary star; Eclipsing variable star; Invisible companion; Twin stars; Twin star system; Eclipsing variable stars; Binary Stars; Double Stars; Double-lined spectroscopic binary; Physical double star; Photometric binary; Hot companion; Secondary eclipse; Astrometric companion; Proper motion companion; Double sun; Binary star formation; Binary star system formation; Double-lined binary; AR Lacertae variable; Binary-star system; S type orbit; Double star systems; Primary eclipse; Binary star systems; Double suns; Compact binary; Compact binary star; Compact binary star system

астрономия

двойная затмевающаяся

затменно-двойная (о планете)

Определение

eclipsing binary
¦ noun Astronomy a binary star whose brightness varies periodically as the two components pass one in front of the other.

Википедия

Binary relation

In mathematics, a binary relation associates elements of one set, called the domain, with elements of another set, called the codomain. A binary relation over sets X and Y is a new set of ordered pairs (x, y) consisting of elements x in X and y in Y. It is a generalization of the more widely understood idea of a unary function. It encodes the common concept of relation: an element x is related to an element y, if and only if the pair (x, y) belongs to the set of ordered pairs that defines the binary relation. A binary relation is the most studied special case n = 2 of an n-ary relation over sets X1, ..., Xn, which is a subset of the Cartesian product X 1 × × X n . {\displaystyle X_{1}\times \cdots \times X_{n}.}

An example of a binary relation is the "divides" relation over the set of prime numbers P {\displaystyle \mathbb {P} } and the set of integers Z {\displaystyle \mathbb {Z} } , in which each prime p is related to each integer z that is a multiple of p, but not to an integer that is not a multiple of p. In this relation, for instance, the prime number 2 is related to numbers such as −4, 0, 6, 10, but not to 1 or 9, just as the prime number 3 is related to 0, 6, and 9, but not to 4 or 13.

Binary relations are used in many branches of mathematics to model a wide variety of concepts. These include, among others:

  • the "is greater than", "is equal to", and "divides" relations in arithmetic;
  • the "is congruent to" relation in geometry;
  • the "is adjacent to" relation in graph theory;
  • the "is orthogonal to" relation in linear algebra.

A function may be defined as a special kind of binary relation. Binary relations are also heavily used in computer science.

A binary relation over sets X and Y is an element of the power set of X × Y . {\displaystyle X\times Y.} Since the latter set is ordered by inclusion (⊆), each relation has a place in the lattice of subsets of X × Y . {\displaystyle X\times Y.} A binary relation is called a homogeneous relation when X = Y. A binary relation is also called a heterogeneous relation when it is not necessary that X = Y.

Since relations are sets, they can be manipulated using set operations, including union, intersection, and complementation, and satisfying the laws of an algebra of sets. Beyond that, operations like the converse of a relation and the composition of relations are available, satisfying the laws of a calculus of relations, for which there are textbooks by Ernst Schröder, Clarence Lewis, and Gunther Schmidt. A deeper analysis of relations involves decomposing them into subsets called concepts, and placing them in a complete lattice.

In some systems of axiomatic set theory, relations are extended to classes, which are generalizations of sets. This extension is needed for, among other things, modeling the concepts of "is an element of" or "is a subset of" in set theory, without running into logical inconsistencies such as Russell's paradox.

The terms correspondence, dyadic relation and two-place relation are synonyms for binary relation, though some authors use the term "binary relation" for any subset of a Cartesian product X × Y {\displaystyle X\times Y} without reference to X and Y, and reserve the term "correspondence" for a binary relation with reference to X and Y.