Neural Dump
relation
minuend
A binary relation over a set is reflexive if for all in , . In other words, .