meet

open infix override fun meet(that: Label): Label

The greatest lower bound of this and that.