What Is Non Empty Relation In Discrete Mathematic