theorem :: YELLOW_1:20

for X being set
for Y being non empty Subset of (BoolePoset X) holds inf Y = meet Y