Abstract algebra

Abstract algebra generalizes equational reasoning to investigate relations between processes, rather than just numbers.