`B -- up --> A` - B "belongs to" A - B is a [[subset]] of A - B implies A note A comes before B if - B builds on concepts from A - B comes after A in some sequence