Una relación ternaria homogénea se llama si para todo "x, y, z" se cumple: