A comprehensive treatment of two fundamental concepts in computer science, mathematics and other fields.[...]