عملگر
preferred label: operator @en
type: Concept
related: فضای مرتب

اندازه(در فضای مرتب)
preferred label: measure(in ordered space) @en
type: Concept
related: فضای مرتب

هندسه مرتب
preferred label: ordered geometry @en
type: Concept
narrower: فضای مرتب

تابع مجموعه‌ای
preferred label: set function @en
type: Concept
related: فضای مرتب

فضای مرتب
related: اندازه(در فضای مرتب)
related: تابع مجموعه‌ای
related: عملگر
broader: هندسه مرتب
preferred label: ordered space @en
type: Concept