Compatible (algebra)