  We introduce a diagrammatic language for compact, orientable 3-dimensional
manifolds with boundary. A diagrammatic calculus (both integral and rational
version) appropriate for this language is introduced and its completeness is
proved in the paper. Moreover, a calculus consisting of a finite list of local
moves is presented.
