Compatibility in Abstract Algebraic Structures