制約ブロック内で定義される数式において、複数の変数を結びつける記号として一般的に使用されるのはどれか。

あるブロックが持つ「操作」が、具体的な実装を持たず、サブタイプでの定義を前提としている状態を何と呼ぶか。