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