partial ordering relation

partial ordering relation definitions

noun
  • A partial order.