Presents an introduction to the fundamentals of the hyperequational theory of universal algebra, offering the results on solid varieties of semirings and semigroups. This book aims to develop the theory of solid varieties as a system of mathematical discourse that is applicable in several concrete situations.