definitions Complete specialization

Complete specialization