Is followed by is a relation between entities that are items in an ordered sequence. For each pair of entities P, S being a member of the sequence, there exists an ordering function o so that o(P) < o(S). Iff o(P) < o(S) then P is followed by S. [Allotrope]