Programming language construct or operator that tests or defines some kind of relation between two entities