reducible relation