An algebraic approach to multirelations and their properties

ما به بررسی عملیات و ویژگی های معادلات چند روابط می پردازیم که برای مدل سازی بازی ها، پروتکل ها، محاسبات، تماس، بستن و توپولوژی مورد استفاده قرار می گیرد. عملیات و خواص با استفاده از مجموعه ها، جبری رابطه نامتقارن و جبر های کلی تر برای چند روابط بیان می شود. ما خواص جبری یک عمل ترکیبی جدید را بر اساس ترتیبات مطابق با ترانسفورماتورهای پیشین، روش های مختلف برای بیان تعطیلی بازخورد تکراری، چندین رابطه، خواص معادلات متعدد، چگونگی اتصال این خواص و حفظ آنها توسط عملیات های چندروشی بررسی می کنیم. ما به طور خاص قصد داریم نتایج و خواص را از چندین رابطه تا بسته به چند ربط دلخواه بدست آوریم. این مقاله یک نسخه گسترده از [7] است.