every well founded set like relation can be embedded into a well founded set like extensional relation the lie bracket is given by the commutator byageze aho bibangbwa ko papa we azana undi mugore