The class of recognisable (= linearly finite) series is an effective prevariety (paper §4, theorem). The presentations are linear representations, so the image of the semantics of $recPrevariety$ is exactly the recognisable series; the closure and decidability content is carried by the construction of $recPrevariety$.