A specialized field of logic focusing on the properties, composition, and inversion of relations, and their interplay with logical operators.…