On the extension of preferences over a set to the power set: An axiomatic characterization of a quasi-ordering