There is a typo in the definition of join: you wrote the meet again!