ترکیب روابط

از testwiki
پرش به ناوبری پرش به جستجو

ترکیب روابط در ریاضیات رابطه دوتایی به مفهوم ساخت رابطهٔ جدید الگو:Nowrap از دو رابطهٔ R و S است. ترکیب دو رابطه در منطق جبری ضرب نسبی نامیده می‌شود؛ بنابراین ترکیب برابر حاصلضرب نسبی رابطهٔ دو مضروب است. ترکیب تابع‌ها حالت خاصی از ترکیب روابط است.

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

الگو:وسط‌چینU=BPxByPzxUz. الگو:پایان وسط‌چین

منابع

الگو:پانویس