add spec to BinaryRelation

spec for constructor