The relationship succeeds (or Follows) is written . The relation succeeds or is equal to is written .