Definition/Meaning of definiens