Tag

semantics in power structures