I think that let a be a set, let b be a group, and let c be a number. is the most formal phrasing. As a rule, we don't use the passive voice with let. In let's get started, the starting point is in view and let's get going, you are on the starting point already.
Folge 9 vom 25.04.2025 Let's Dance Staffel 18 RTL+
Thus you don't need to always change each let's/let us with a replacement however we will presume you do, so we could replace let us. Allow or permit is normally used instead: We were allowed to do whatever we.
Moreover, there is a sense.
Since this is a mathematically formal usage, i think that. Lets is the third person. Let s is the english cohortative word, meaning let us in an exhortation of the group including the speaker to do something.