結局、>>445ってどう？　素人考えでは、群の条件のうち、「任意の元に対する逆元が存在する（逆元も関係の元である必要がある）」を、関係および関係上の演算は満たさないようにも思うんだけど。