|
Abstract
|
تعریف: زوج را که در آن ترتیب عناصر مطرح است, یک زوج مرتب نامند. را مولفه اول و را مولفه دوم زوج مرتب گویند. دو زوج و را با هم برابر گویند هرگاه مولفه های اول و مولفه های دوم برابر داشته باشند. یعنی .
تعریف: هر مجموعه از زوجهای مرتب را یک رابطه نامند. مجموعه عناصر اول زوجهای مرتب را دامنه (یا قلمرو) رابطه و مجموعه عناصر دوم زوجهای مرتب را برد رابطه مینامیم. دامنه رابطه را با و برد رابطه را با نشان می-دهیم.
|