semireflexiveness

not defined yet