نمایش مبدأ برای ترکیب روابط

'''ترکیب روابط''' در [[ریاضیات]] [[رابطه دوتایی]] به مفهوم ساخت رابطهٔ جدید {{nowrap|''S'' ∘ ''R''}} از دو رابطهٔ R و S است. ترکیب دو رابطه در [[منطق جبری]] '''ضرب نسبی''' نامیده می‌شود؛ بنابراین ترکیب برابر '''حاصلضرب نسبی''' رابطهٔ دو مضروب است. [[ترکیب تابع]]‌ها حالت خاصی از ترکیب روابط است.

برای نمایش یک رابطهٔ مرکب از واژهٔ [[عمو]] {{انگلیسی|Uncle}} استفاده می‌شود: برای اینکه عنصری عمو باشد باید برادر یک والد باشد. در [[منطق جبری]] گفته می‌شود که رابطهٔ «عمویی» xUz ترکیب دو رابطهٔ «برادری» xBy و «والدی» yPz است. یعنی:

{{ وسط‌چین}}<math>U = BP \quad \equiv \quad xByPz \iff xUz.</math>
{{پایان وسط‌چین}}

== منابع ==
{{پانویس|چپ‌چین=بله}}
* {{یادکرد-ویکی|پیوند =//en.wikipedia.org/w/index.php?title=Composition_of_relations&oldid=865850864|عنوان = Composition of relations|زبان =انگلیسی|بازیابی =۵ نوامبر ۲۰۱۸}}

[[رده:روابط ریاضی]]
[[رده:منطق جبری]]
[[رده:عملیات دوتایی]]