RHS

From CS2800 wiki


RHS stands for "right hand side". LHS stands for "left hand side". They are convenient shorthand for use in proofs.