Defintion

For a Relation If