Binary Relations & Their Properties