The official (and more general) name for what I call ‘unified dot notation’.