"precedes"

if

has the relation

to

, which we shall write "