Added meet properties and proofs for inner products