Terminal Metric Spaces of Finitely Branching and Image Finite Linear processes

Well-known metric spaces for modelling finitely branching and image finite systems are shown to be (the carrier of) terminal coalgebras.