The conjunction operator, forming a Boolean-valued function, typically with two arguments, returning ''true'' only if all of its arguments are ''true''.
product
meet, infimum