This book provides the basis of a formal language and explores its possibilities in the characterization of multiplex networks. A methodology to generalize monoplex structural metrics to multiplex networks is also presented so that the reader will be able to generalize other metrics of interest in a systematic way.