In HQ, we consider the emptiness test of a HQSet is a query for the empty status of this HQSet. Thus the getStatus operator, whose signature is printed in 4_fig:signature_getStatus, permits testing the emptiness of a HQSet.