Efficient and binary consensus functions on transitively valued relations · Study