Description: Dominance relation. (Contributed by NM, 15-Jun-1998) Extract brdom2g as an intermediate result. (Revised by BTernaryTau, 29-Nov-2024)