Base Definition Algebra