def __le__(self, other):
return Relation(RelationSense.Less, self - other)<EOL>
Return less-than relation (inequality): self <= other

        This method is overloaded so that relations can be
        formed using a natural syntax.