If ( is a relation): is reflexive in , if for each then . Examples: Reflexive is the binary relation of “equal to” on the set of real numbers. “is a subset of” (set inclusion) “divides”