piece

abstract fun piece(other: S): S

The join: the least-upper-bound of this and other.