We have already gone through the definitions. A tetrahedron, as defined here, is a polyhedron with four (not necessarily congruent) triangular faces. Equidecomposability is a relationship between two shapes in which one can assemble one from all the pieces of another. Finally, equicomplementability is a relationship in which one can add congruent shapes to the two shapes to form two equidecomposable supershapes.