:: deftheorem defines meets YELLOW_5:def 3 :
for L being non empty RelStr
for a, b being Element of L holds
( a meets b iff a "/\" b <> Bottom L );