A binary relation on a set is a partial preorder if it satisfies:

  1. Reflexivity
  2. Transitivity