 Hidden algebra

Hidden algebra is a mathematical framework used primarily in the context of reasoning about data types and their behaviors in computer science, particularly within the fields of algebraic specification and programming languages. It focuses on the concept of abstracting certain internal operations or states of a system while preserving essential behaviors that are observable from an external perspective.