{ U V | = | U V }