correct the notation of partial order for HB* relation