Formalize the definition of supersede

For a rationale see: https://progress.opensuse.org/issues/1795