Assertion: tangle | /r/HasProperty | equivalent
Facets:
Source sentences:
text: We say two tangles are equivalent if there exists a sequence of Reidemeister moves that deforms one into the other, with the added requirement that the Reidemeister moves do not move any portion of the tangle outside of the open ball that defines the tangle, as this would mess with whatever strands in the knot/link exist outside the ball that defines the tangle.