Serĉrezultoj

...rgumenta rilato]] <math>L \subseteq X \times Y</math> estas la duargumenta rilato <math>L^{-1} \subseteq Y \times X</math> difinita per <math>L^{-1} = \{(y, La '''inversa rilato''' estas ankaŭ nomita la '''rea rilato''' kaj povas esti skribita kiel <math>L^{C}\!</math>, <math>L^{T}\!</math> ...

En [[matematiko]], [[duargumenta rilato]] ''R'' super [[aro (matematiko)|aro]] ''X'' estas '''tuteca''' se por ĉiuj Ĉi tio implicas tion ke la rilato ''R'' estas [[refleksiva rilato]]. ...

...aro ''Y'', simbole <math>f: X\to Y</math>, estas tia [[duargumenta rilato|rilato]] <math>f \in X\times Y</math>, ke por ĉiu <math>x\in X</math> en ''f'' ekz ...

...ko]], '''duvalenta rilato''' aŭ '''duargumenta rilato''' aŭ '''2-argumenta rilato''' estas ajna asocio de du elementoj de [[aro (matematiko)|aro]], aŭ de ele ...tas speciala kazo de [[n-opo|''n''-opa]] (n-valenta) [[Rilato (matematiko)|rilato]] por ''n=2''. ...

...lokoj), kiujn akceptas [[Operacio (matematiko)|operacio]], [[funkcio]], [[rilato]], [[predikato]], [[proceduro]] ktp. En matematiko oni ankaŭ povas diri «argumentonombro», «duargumenta» ktp. Tamen tio estas iom pli longa; kaj pli grave, en [[komputado]] oni of ...

...arta funkcio''' estas [[Duvalenta rilato|duvalenta]] [[Rilato (matematiko)|rilato]], kiu rilatigas ĉiun elementon de unu aro da matematikaj objektoj kun po n se ''f'' estas tia [[duargumenta rilato|rilato]] super <math>X\times Y</math>, ke por ĉiu <math>x\in X</math> en ''f'' ekz ...

...tria rilato|antisimetria]], [[Transitiva rilato|transitiva]], kaj [[Tuteca rilato|tuteca]]. Tio signifas ke se ni nomos iun tian rilaton per ≤ , tiam jenaj p : se ''a'' ≤ ''b'' kaj ''b'' ≤ ''a'' tiam ''a'' = ''b'' ([[Antisimetria rilato|antisimetrio]]) ...

...propra klaso]], se ĝi estas [[aro-simila rilato|aro-simila]] [[duargumenta rilato]]; tio estas, por ĉiu ''x'', la kolekto de ĉiuj ''y'' tiaj ke ''y R x'' dev ...propra klaso]], se ĝi estas [[aro-simila rilato|aro-simila]] [[duargumenta rilato]]; tio estas, por ĉiu ''x'', la kolekto de ĉiuj ''y'' tiaj ke ''y R x'' dev ...

...rilato]] ''<'' sur aro ''S'', kiu estas strikta [[parta ordo]] tia, ke la rilato "nek ''a<b'' nek ''b<a''" estas transitiva. ...s [[Malrefleksiva rilato|malrefleksiva]] aŭ ekvivalente, [[Kontraŭsimetria rilato|kontraŭsimetria]].) ...

Por ĉiu aro ''S'', inkluziveco estas [[Duargumenta rilato|rilato]] sur la [[aro de ĉiuj subaroj]] de ''S''. :[[Refleksiva rilato|reflekteco]]: ...

...iu lingvo ''L'', kiu konsistas el aro de [[konstanto-simbolo]]j, aro de [[rilato-simbolo]]j ĉiu de valento de iu pozitiva entjero, kaj aro de [[funkcio-simb ...''A'' (en aliaj vortoj subaro de ''Aⁿ'') por ĉiu predikato (aŭ rilato) de ''L'' de valento ''n''; ...

...tiko]], funkcio estas [[Duvalenta rilato|duvalenta]] [[Rilato (matematiko)|rilato]], kiu rilatigas al membroj de unu aro po ne pli ol unu elemento el alia (a se ''f'' estas tia [[duargumenta rilato|rilato]] super <math>X\times Y</math>, ke por ĉiu <math>x\in X</math> en ''f'' ekz ...