Assertion: meet | /r/HasProperty | binary operation
Facets:
value: on a
type: LOCATION
Source sentences:
text: If all pairs of elements from A have a meet, then the meet is a binary operation on A, and it is easy to see that this operation fulfils the following three conditions: For any elements x, y, and z in A,