subdistributivity