How to remember the definition of Quantum Groups
It is essentially Majid's method (so-called Double bosonization) but handier. But everything is defined to be found rather than be invented (it is invented, but to make it looks natural to be found is a part of voluntary work of mathematicians).
(the following from Jantzen, one of the best book for Quantum groups)
$\square$