Definition:B-Algebra Power of Element