Las proposiciones siguientes son correctas para representar la relación binaria formula_4 entre los elementos formula_15 y formula_16: