We introduce ideals, radicals and prime ideals in arbitrary algebras with at least one binary operation, and we show that various separation lemmas and prime ideal theorems are special instances of one general theorem which, in turn, is equivalent to the Boolean Prime Ideal Theorem (or Ultrafilter Principle).