In Reddit, especially on r/badX (like r/badmathematics or r/badlinguistics) subs, R4 is a comment placed after the post made by the same author to explain why the content linked by the post is bad, therefore it is suitable for that sub.
R4: Apparently OP believes that the operations you can do with a number based on how it was constructed. For example, they think that you can't "unsquare" 64 to get its square root if it was constucted by some manner other than squaring 8. At least as far as I can understand their post.
A multiplicative identity of a semiring. For a semiring R, 1 is defined as an element so that for every a being an element of R:
1âa = aâ1 = a
Min-tropical semiring is a semiring (â ⪠{+â}, â, â) with â defined as min, and â defined as the addition of two numbers. By that definition, zero is +â, and one is 0