Category:General Associative Law for Ordinal Sum