inductively ordered set ( ریاضی ) واژه مصوب: مجموعۀ استقراییْمرتبتعریف: مجموعهای مرتب که هر زیرمجموعۀ کلی مرتب آن دارای کران بالاست+ عکس و لینک
